Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 850108f

Browse files
dbeyerdbeyer
authored
Merge pull request #1011 from vaibhavbsharma/replace5_eqchk-2
[JAVA] Adding a 2nd property on the replace benchmark
2 parents a46e16f + f7b7839 commit 850108f

File tree

10 files changed

+815
-931
lines changed

10 files changed

+815
-931
lines changed

‎java/ReachSafety-Java.set‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ jpf-regression/*.yml
44
java-ranger-regression/*.yml
55
java-ranger-regression/WBS/*.yml
66
java-ranger-regression/siena_eqchk/*.yml
7+
java-ranger-regression/replace5_eqchk/*.yml
78
MinePump/*.yml
89
algorithms/*.yml
910
juliet-java/*.yml

‎java/java-ranger-regression/replace5_eqchk/Main.java‎

Lines changed: 0 additions & 26 deletions
This file was deleted.

‎java/java-ranger-regression/replace5_eqchk/TestVeritestingReplace.java‎

Lines changed: 0 additions & 71 deletions
This file was deleted.

‎java/java-ranger-regression/replace5_eqchk/Outputs.java‎ renamed to ‎java/java-ranger-regression/replace5_eqchk/impl/Outputs.java‎

File renamed without changes.

0 commit comments

Comments
 (0)