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

Commit f9d0611

Browse files
dbeyerdbeyer
authored
Merge pull request #1154 from sohah/master
Adding java related verification tasks.
2 parents c34ed34 + 6e4b0cd commit f9d0611

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

70 files changed

+5366
-0
lines changed

‎java/ReachSafety-Java.set‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@ jbmc-regression/*.yml
33
jpf-regression/*.yml
44
java-ranger-regression/*.yml
55
java-ranger-regression/WBS/*.yml
6+
java-ranger-regression/alarm/*.yml
7+
java-ranger-regression/infusion/*.yml
68
java-ranger-regression/siena_eqchk/*.yml
79
java-ranger-regression/replace5_eqchk/*.yml
810
java-ranger-regression/nanoxml_eqchk/*.yml

‎java/java-ranger-regression/alarm/Alarm_prop1.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop1/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

‎java/java-ranger-regression/alarm/Alarm_prop10.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop10/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

‎java/java-ranger-regression/alarm/Alarm_prop2.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop2/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

‎java/java-ranger-regression/alarm/Alarm_prop3.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop3/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

‎java/java-ranger-regression/alarm/Alarm_prop4.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop4/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

‎java/java-ranger-regression/alarm/Alarm_prop5.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop5/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

‎java/java-ranger-regression/alarm/Alarm_prop6.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop6/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

‎java/java-ranger-regression/alarm/Alarm_prop8.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop8/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

‎java/java-ranger-regression/alarm/Alarm_prop9.yml‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop9/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
9+
10+
options:
11+
language: Java

0 commit comments

Comments
 (0)