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

Commit 8c4dd3d

Browse files
sohahmmuesly
authored andcommitted
adding yml for infusion properties
1 parent aa6ea74 commit 8c4dd3d

File tree

3 files changed

+24
-0
lines changed

3 files changed

+24
-0
lines changed
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop11/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop12/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
format_version: "2.0"
2+
input_files:
3+
- ../../common/
4+
- impl/
5+
- prop13/
6+
properties:
7+
- property_file: ../../properties/assert.prp
8+
expected_verdict: true

0 commit comments

Comments
 (0)