Commit 043ad926 authored by Dominique Blouin's avatar Dominique Blouin
Browse files

Changes for issues #56 and #57

parent 92b5621a
......@@ -2,7 +2,7 @@
<classpath>
<classpathentry kind="src" path="src/main/java"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry combineaccessrules="false" kind="src" path="/src"/>
<classpathentry kind="lib" path="/libs/junit-4.12.jar"/>
<classpathentry combineaccessrules="false" kind="src" path="/src"/>
<classpathentry kind="output" path="bin"/>
</classpath>
......@@ -37,7 +37,7 @@
<SystemCCodeExecuteCommand data="../simulators/c++2/run.x -ovcd ../simulators/c++2/vcddump.vcd" />
<SystemCCodeInteractiveExecuteCommand data="../simulators/c++2/run.x -server" />
<TMLCodeDirectory data="../simulators/c++2/tmlcode" />
<CCodeDirectory data="../simulators/c++2/Ccode" />
<CCodeDirectory data="./launch_configurations/c_code" />
<GTKWavePath data="/opt/local/bin/gtkwave" />
<VCDPath data="../simulators/c++2/" />
<UPPAALCodeDirectory data="../uppaal/" />
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment