ADding simulation trace tree

executablecode/Makefile.src

-SRCS = generated_src/main.c generated_src/AvatarSignal.c generated_src/AvatarRelation.c generated_src/AvatarElement.c generated_src/AvatarMethod.c generated_src/AvatarAction.c generated_src/AvatarGuard.c generated_src/AvatarTransition.c generated_src/AvatarState.c generated_src/AvatarStateMachine.c generated_src/AvatarPragma.c generated_src/AvatarConstant.c generated_src/AvatarAttribute.c generated_src/AvatarBlock.c generated_src/AvatarSpecification.c 
\ No newline at end of file
+SRCS = generated_src/main.c generated_src/AlarmActuator.c generated_src/PressureSensor.c generated_src/PressureController.c generated_src/AlarmManager.c generated_src/MainController.c generated_src/Timer__alarmTimer__AlarmManager.c 
\ No newline at end of file

src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java

@@ -607,7 +607,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
             // Compute the hash of the new state, and create the link to the right next state
             SpecificationLink link = new SpecificationLink();
             link.originState = _ss;
-            action += " [" + tr.clockMin + " ..." + clockMax + "]";
+            action += " [" + tr.clockMin + "..." + clockMax + "]";
             link.action = action;
             newState.computeHash(blockValues);
             //SpecificationState similar = states.get(newState.getHash(blockValues));

src/main/java/common/SpecConfigTTool.java

@@ -188,7 +188,7 @@ public class SpecConfigTTool {
         AVATARExecutableSoclibCodeCompileCommand = ConfigurationTTool.AVATARExecutableSoclibCodeCompileCommand.replace(ConfigurationTTool.AVATARMPSoCCodeDirectory, AVATARMPSoCCompileCommand);
         AVATARExecutableSoclibCodeExecuteCommand = ConfigurationTTool.AVATARExecutableSoclibCodeExecuteCommand.replace(ConfigurationTTool.AVATARMPSoCCodeDirectory, AVATARMPSoCCompileCommand);
         AVATARExecutableSoclibCodeTraceCommand = ConfigurationTTool.AVATARExecutableSoclibCodeTraceCommand.replace(ConfigurationTTool.AVATARMPSoCCodeDirectory, AVATARMPSoCCompileCommand);
-        ExternalCommand1 = ConfigurationTTool.ExternalCommand1.replace(ConfigurationTTool.VCDPath, SpecConfigTTool.VCDPath);
+        //ExternalCommand1 = ConfigurationTTool.ExternalCommand1.replace(ConfigurationTTool.VCDPath, SpecConfigTTool.VCDPath);
     }
 
     public static void setBasicConfig(boolean systemcOn) {
@@ -286,7 +286,7 @@ public class SpecConfigTTool {
         try {
             Element elt = (Element) (nl.item(0));
             lastVCD = elt.getAttribute("data");
-            ExternalCommand1 = "gtkwave " + lastVCD;
+           // ExternalCommand1 = "gtkwave " + lastVCD;
         } catch (Exception e) {
             throw new MalformedConfigurationException(e.getMessage());
         }

src/main/java/ui/ActivityDiagram2TMLTranslator.java

@@ -91,7 +91,7 @@ public class ActivityDiagram2TMLTranslator {
         TMLActivity activity = tmltask.getActivityDiagram();
         TMLActivityDiagramPanel tadp = (TMLActivityDiagramPanel)(activity.getReferenceObject());
 
-        TraceManager.addDev( "Generating activity diagram of: " + tmltask.getName());
+        //TraceManager.addDev( "Generating activity diagram of: " + tmltask.getName());
 
         // search for start state
         List<TGComponent> list = tadp.getComponentList();