add final evaluation data

Language_Workbench/xArduino_Reactive/org.imt.arduino.reactive.interpreter/src/org/imt/arduino/reactive/interpreter/OperationalSemantics.xtend

@@ -62,6 +62,15 @@ import static extension org.imt.arduino.reactive.interpreter.Pin_EvaluableAspect
 import static extension org.imt.arduino.reactive.interpreter.Project_ExecutableAspect.*
 import org.imt.arduino.reactive.arduino.SoundSensor
 
+/*
+ * TODO: adding two new elements to the definition of runtime state as:
+ * currentInstruction: keeping the last executed instruction
+ * -> hence when receiving an occurrence for any accepted event, we simply run the sketch from the currentInstruction
+ * passedTime: the amount of time that must be passed. This value must be set when receiving an occurrence for a new accepted event
+ * such as "passedTime(time)" 
+ * -> hence when executing Delay elements, we used the passedTime to pass the delay time
+ */
+
 @Aspect(className=Instruction)
 class Instruction_UtilitesAspect {
 	private def Project getProject(Module module) {

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/EquivalentMutants.txt

+/Arduino.ActiveWait/mutants/cbbo_infe/Output0.model
\ No newline at end of file

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/activeWait.model

@@ -26,8 +26,8 @@
           </instructions>
         </block>
         <condition xsi:type="arduino:BinaryBooleanExpression" xmi:id="_TeGOwLvnEey7OoLBzoKkPA" operator="equal">
-          <left xsi:type="arduino:IntegerConstant" xmi:id="_TeGOwbvnEey7OoLBzoKkPA"/>
-          <right xsi:type="arduino:IntegerModuleGet" xmi:id="_TeGOwrvnEey7OoLBzoKkPA" module="_TeGOtbvnEey7OoLBzoKkPA"/>
+          <left xsi:type="arduino:IntegerModuleGet" xmi:id="_ubWisM-YEeyj4OK2t3h2Ug" module="_TeGOtbvnEey7OoLBzoKkPA"/>
+          <right xsi:type="arduino:IntegerConstant" xmi:id="_wA6LQM-YEeyj4OK2t3h2Ug"/>
         </condition>
         <elseBlock xmi:id="_TeGOw7vnEey7OoLBzoKkPA">
           <instructions xsi:type="arduino:ModuleAssignment" xmi:id="_TeGOxLvnEey7OoLBzoKkPA" module="_TeGOs7vnEey7OoLBzoKkPA">

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_and/Output0.model

-<?xml version="1.0" encoding="ASCII"?>
-<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
-  <boards xsi:type="arduino:ArduinoBoard" name="board">
-    <digitalPins name="blueLed">
-      <module xsi:type="arduino:LED" name="blueLed"/>
-    </digitalPins>
-    <digitalPins name="IR_sensor">
-      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
-    </digitalPins>
-  </boards>
-  <sketches name="sketch" board="//@boards.0">
-    <block>
-      <instructions xsi:type="arduino:If">
-        <block>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-        </block>
-        <condition xsi:type="arduino:BinaryBooleanExpression" operator="AND">
-          <left xsi:type="arduino:IntegerConstant"/>
-          <right xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
-        </condition>
-        <elseBlock>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-        </elseBlock>
-      </instructions>
-    </block>
-  </sketches>
-</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_and/Output1.model

+<?xml version="1.0" encoding="ASCII"?>
+<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
+  <boards xsi:type="arduino:ArduinoBoard" name="board">
+    <digitalPins name="blueLed">
+      <module xsi:type="arduino:LED" name="blueLed"/>
+    </digitalPins>
+    <digitalPins name="IR_sensor">
+      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
+    </digitalPins>
+  </boards>
+  <sketches name="sketch" board="//@boards.0">
+    <block>
+      <instructions xsi:type="arduino:If">
+        <block>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+        </block>
+        <condition xsi:type="arduino:BinaryBooleanExpression" operator="AND">
+          <left xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
+          <right xsi:type="arduino:IntegerConstant"/>
+        </condition>
+        <elseBlock>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+        </elseBlock>
+      </instructions>
+    </block>
+  </sketches>
+</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_different/Output0.model

-<?xml version="1.0" encoding="ASCII"?>
-<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
-  <boards xsi:type="arduino:ArduinoBoard" name="board">
-    <digitalPins name="blueLed">
-      <module xsi:type="arduino:LED" name="blueLed"/>
-    </digitalPins>
-    <digitalPins name="IR_sensor">
-      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
-    </digitalPins>
-  </boards>
-  <sketches name="sketch" board="//@boards.0">
-    <block>
-      <instructions xsi:type="arduino:If">
-        <block>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-        </block>
-        <condition xsi:type="arduino:BinaryBooleanExpression" operator="Different">
-          <left xsi:type="arduino:IntegerConstant"/>
-          <right xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
-        </condition>
-        <elseBlock>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-        </elseBlock>
-      </instructions>
-    </block>
-  </sketches>
-</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_different/Output1.model

+<?xml version="1.0" encoding="ASCII"?>
+<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
+  <boards xsi:type="arduino:ArduinoBoard" name="board">
+    <digitalPins name="blueLed">
+      <module xsi:type="arduino:LED" name="blueLed"/>
+    </digitalPins>
+    <digitalPins name="IR_sensor">
+      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
+    </digitalPins>
+  </boards>
+  <sketches name="sketch" board="//@boards.0">
+    <block>
+      <instructions xsi:type="arduino:If">
+        <block>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+        </block>
+        <condition xsi:type="arduino:BinaryBooleanExpression" operator="Different">
+          <left xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
+          <right xsi:type="arduino:IntegerConstant"/>
+        </condition>
+        <elseBlock>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+        </elseBlock>
+      </instructions>
+    </block>
+  </sketches>
+</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_inf/Output0.model

-<?xml version="1.0" encoding="ASCII"?>
-<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
-  <boards xsi:type="arduino:ArduinoBoard" name="board">
-    <digitalPins name="blueLed">
-      <module xsi:type="arduino:LED" name="blueLed"/>
-    </digitalPins>
-    <digitalPins name="IR_sensor">
-      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
-    </digitalPins>
-  </boards>
-  <sketches name="sketch" board="//@boards.0">
-    <block>
-      <instructions xsi:type="arduino:If">
-        <block>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-        </block>
-        <condition xsi:type="arduino:BinaryBooleanExpression">
-          <left xsi:type="arduino:IntegerConstant"/>
-          <right xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
-        </condition>
-        <elseBlock>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-        </elseBlock>
-      </instructions>
-    </block>
-  </sketches>
-</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_inf/Output1.model

+<?xml version="1.0" encoding="ASCII"?>
+<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
+  <boards xsi:type="arduino:ArduinoBoard" name="board">
+    <digitalPins name="blueLed">
+      <module xsi:type="arduino:LED" name="blueLed"/>
+    </digitalPins>
+    <digitalPins name="IR_sensor">
+      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
+    </digitalPins>
+  </boards>
+  <sketches name="sketch" board="//@boards.0">
+    <block>
+      <instructions xsi:type="arduino:If">
+        <block>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+        </block>
+        <condition xsi:type="arduino:BinaryBooleanExpression">
+          <left xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
+          <right xsi:type="arduino:IntegerConstant"/>
+        </condition>
+        <elseBlock>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+        </elseBlock>
+      </instructions>
+    </block>
+  </sketches>
+</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_infe/Output0.model

-<?xml version="1.0" encoding="ASCII"?>
-<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
-  <boards xsi:type="arduino:ArduinoBoard" name="board">
-    <digitalPins name="blueLed">
-      <module xsi:type="arduino:LED" name="blueLed"/>
-    </digitalPins>
-    <digitalPins name="IR_sensor">
-      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
-    </digitalPins>
-  </boards>
-  <sketches name="sketch" board="//@boards.0">
-    <block>
-      <instructions xsi:type="arduino:If">
-        <block>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-        </block>
-        <condition xsi:type="arduino:BinaryBooleanExpression" operator="infOrEqual">
-          <left xsi:type="arduino:IntegerConstant"/>
-          <right xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
-        </condition>
-        <elseBlock>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-        </elseBlock>
-      </instructions>
-    </block>
-  </sketches>
-</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_or/Output0.model

-<?xml version="1.0" encoding="ASCII"?>
-<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
-  <boards xsi:type="arduino:ArduinoBoard" name="board">
-    <digitalPins name="blueLed">
-      <module xsi:type="arduino:LED" name="blueLed"/>
-    </digitalPins>
-    <digitalPins name="IR_sensor">
-      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
-    </digitalPins>
-  </boards>
-  <sketches name="sketch" board="//@boards.0">
-    <block>
-      <instructions xsi:type="arduino:If">
-        <block>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-        </block>
-        <condition xsi:type="arduino:BinaryBooleanExpression" operator="OR">
-          <left xsi:type="arduino:IntegerConstant"/>
-          <right xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
-        </condition>
-        <elseBlock>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-        </elseBlock>
-      </instructions>
-    </block>
-  </sketches>
-</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_or/Output1.model

+<?xml version="1.0" encoding="ASCII"?>
+<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
+  <boards xsi:type="arduino:ArduinoBoard" name="board">
+    <digitalPins name="blueLed">
+      <module xsi:type="arduino:LED" name="blueLed"/>
+    </digitalPins>
+    <digitalPins name="IR_sensor">
+      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
+    </digitalPins>
+  </boards>
+  <sketches name="sketch" board="//@boards.0">
+    <block>
+      <instructions xsi:type="arduino:If">
+        <block>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+        </block>
+        <condition xsi:type="arduino:BinaryBooleanExpression" operator="OR">
+          <left xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
+          <right xsi:type="arduino:IntegerConstant"/>
+        </condition>
+        <elseBlock>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+        </elseBlock>
+      </instructions>
+    </block>
+  </sketches>
+</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_sup/Output0.model

@@ -26,8 +26,8 @@
           </instructions>
         </block>
         <condition xsi:type="arduino:BinaryBooleanExpression" operator="sup">
-          <left xsi:type="arduino:IntegerConstant"/>
-          <right xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
+          <left xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
+          <right xsi:type="arduino:IntegerConstant"/>
         </condition>
         <elseBlock>
           <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_supe/Output0.model

-<?xml version="1.0" encoding="ASCII"?>
-<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
-  <boards xsi:type="arduino:ArduinoBoard" name="board">
-    <digitalPins name="blueLed">
-      <module xsi:type="arduino:LED" name="blueLed"/>
-    </digitalPins>
-    <digitalPins name="IR_sensor">
-      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
-    </digitalPins>
-  </boards>
-  <sketches name="sketch" board="//@boards.0">
-    <block>
-      <instructions xsi:type="arduino:If">
-        <block>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-        </block>
-        <condition xsi:type="arduino:BinaryBooleanExpression" operator="supOrEqual">
-          <left xsi:type="arduino:IntegerConstant"/>
-          <right xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
-        </condition>
-        <elseBlock>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-        </elseBlock>
-      </instructions>
-    </block>
-  </sketches>
-</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cbbo_supe/Output1.model

+<?xml version="1.0" encoding="ASCII"?>
+<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
+  <boards xsi:type="arduino:ArduinoBoard" name="board">
+    <digitalPins name="blueLed">
+      <module xsi:type="arduino:LED" name="blueLed"/>
+    </digitalPins>
+    <digitalPins name="IR_sensor">
+      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
+    </digitalPins>
+  </boards>
+  <sketches name="sketch" board="//@boards.0">
+    <block>
+      <instructions xsi:type="arduino:If">
+        <block>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant"/>
+          </instructions>
+        </block>
+        <condition xsi:type="arduino:BinaryBooleanExpression" operator="supOrEqual">
+          <left xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
+          <right xsi:type="arduino:IntegerConstant"/>
+        </condition>
+        <elseBlock>
+          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
+            <operand xsi:type="arduino:IntegerConstant" value="1"/>
+          </instructions>
+        </elseBlock>
+      </instructions>
+    </block>
+  </sketches>
+</arduino:Project>

Modeling_Workbench/Amplification4XModels_evaluation/XArduino-data/Arduino.ActiveWait/mutants/cic/Output0.model

-<?xml version="1.0" encoding="ASCII"?>
-<arduino:Project xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:arduino="http://www.obeo.fr/arduino" xsi:schemaLocation="http://www.obeo.fr/arduino ../../../model/arduino.ecore">
-  <boards xsi:type="arduino:ArduinoBoard" name="board">
-    <digitalPins name="blueLed">
-      <module xsi:type="arduino:LED" name="blueLed"/>
-    </digitalPins>
-    <digitalPins name="IR_sensor">
-      <module xsi:type="arduino:InfraRedSensor" name="IR_sensor"/>
-    </digitalPins>
-  </boards>
-  <sketches name="sketch" board="//@boards.0">
-    <block>
-      <instructions xsi:type="arduino:If">
-        <block>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="2"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant"/>
-          </instructions>
-        </block>
-        <condition xsi:type="arduino:BinaryBooleanExpression" operator="equal">
-          <left xsi:type="arduino:IntegerConstant"/>
-          <right xsi:type="arduino:IntegerModuleGet" module="//@boards.0/@digitalPins.1/@module"/>
-        </condition>
-        <elseBlock>
-          <instructions xsi:type="arduino:ModuleAssignment" module="//@boards.0/@digitalPins.0/@module">
-            <operand xsi:type="arduino:IntegerConstant" value="1"/>
-          </instructions>
-        </elseBlock>