Skip to content

Commit 4fde751

Browse files
committed
Fixed instructions
1 parent 31005d8 commit 4fde751

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

README.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -177,6 +177,9 @@ To generate the code for system M3, type the following in SBT:
177177
<b style='color:#5FCA1C'>sbt:expression-problem></b> runMain ep.j.GenerateAll
178178
</code></pre>
179179

180+
Once you have generated the Java versions, there is a Windows BAT file `evaluate_java.bat` which you can
181+
execute from its own directory to compile and run JUnit test cases for the generated code.
182+
180183
In this original prototype, sometimes the test cases for an approach do not compile because of incompatible
181184
or missing interfaces and classes. In particular, the test code for the algebra and interpreter approaches may not compile.
182185

0 commit comments

Comments
 (0)