| <?xml version="1.0" encoding="UTF-8"?> | |
| <!-- Author: Roberto Cavada and Cristian Mattarei --> | |
| <!-- Version: 0.1 --> | |
| <!-- Date: 2011/09/16 --> | |
| <effects_model name="StuckAtFixed"> | |
| <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> |