plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/tools/xSAP/data/fm_library/eml_behavior/nondeterminismbyvalue_bool/definition.xml

<?xml version="1.0" encoding="UTF-8"?>

<!-- Author: Anthony Fernandes Pires -->
<!-- Version: 0.1 -->
<!-- Date: 2014/09/24 -->

<effects_model name="NonDeterminismByValue_Bool">
  <values>
    <output writes="varout" reads="input" desc="The output variable name that reads on the input one."/>
  </values>
  <effect>
    <entering type="smv" local="false">entering.smv</entering>
    <during type="smv" local="false">during.smv</during>
  </effect>
  <raw/>
</effects_model>