Update on DSE generation: simulation and exploration should now better work:...
Update on DSE generation: simulation and exploration should now better work: creation of new directories, adapted traces, better management of exceptions
Showing
- src/main/java/common/SpecConfigTTool.java 1 addition, 1 deletionsrc/main/java/common/SpecConfigTTool.java
- src/main/java/dseengine/DSEConfiguration.java 16 additions, 4 deletionssrc/main/java/dseengine/DSEConfiguration.java
- src/main/java/dseengine/DSESimulationResult.java 74 additions, 55 deletionssrc/main/java/dseengine/DSESimulationResult.java
- src/main/java/tmltranslator/tomappingsystemc2/MappedSystemCTask.java 5 additions, 5 deletions...va/tmltranslator/tomappingsystemc2/MappedSystemCTask.java
- src/main/java/ui/window/JDialogDSE.java 1 addition, 0 deletionssrc/main/java/ui/window/JDialogDSE.java
Loading
Please register or sign in to comment