Changing reference to jmlruntime.jar

davidcok · davidcok · commit 5b2dd72a6593 · 2026-01-17T16:53:09.000-05:00
diff --git a/tutorial/T_RacOutput7.check b/tutorial/T_RacOutput7.check
@@ -1,2 +1,3 @@
 
-( openjml --rac T_RacOutput.java && java -cp .:jmlruntime.jar -ea -Dorg.jmlspecs.openjml.rac=javaassert  T_RacOutput ) 2>&1 | grep -v unchecked | diff - T_RacOutput7.out
+JAR=../../OpenJML/OpenJML21/jmlruntime.jar
+( openjml --rac T_RacOutput.java && java -cp .:$JAR -ea -Dorg.jmlspecs.openjml.rac=javaassert  T_RacOutput ) 2>&1 | grep -v unchecked | diff - T_RacOutput7.out

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
`1`	`1`
`2`		`-( openjml --rac T_RacOutput.java && java -cp .:jmlruntime.jar -ea -Dorg.jmlspecs.openjml.rac=javaassert T_RacOutput ) 2>&1 \| grep -v unchecked \| diff - T_RacOutput7.out`
	`2`	`+JAR=../../OpenJML/OpenJML21/jmlruntime.jar`
	`3`	`+( openjml --rac T_RacOutput.java && java -cp .:$JAR -ea -Dorg.jmlspecs.openjml.rac=javaassert T_RacOutput ) 2>&1 \| grep -v unchecked \| diff - T_RacOutput7.out`