plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/tools/xSAP/data/fm_library/eml_behavior/deltaoutbyvalue/during.smv

------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- - Author: Anthony Fernandes Pires
-- - Version: 0.1
-- - Date: 2015/12/02
------------------------------------------------------------------------------
-- - varout: the output variable
-- - delta: the error delta
------------------------------------------------------------------------------
------------------------------------------------------------------------------

next(varout) = varout