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

Commit c5cd074

Browse files
sohahmmuesly
authored andcommitted
adding initial set for infusion and alarm verification tasks
1 parent feb194d commit c5cd074

File tree

68 files changed

+10830
-0
lines changed

Some content is hidden

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

68 files changed

+10830
-0
lines changed
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop1_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop10_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop2_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop3_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop4_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop5_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop6_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop7_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop8_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "1.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop9_True/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: false

0 commit comments

Comments
 (0)