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

Commit 2d1d7a9

Browse files
MartinSpiesslMartinSpiessl
committed
Add overflow property for uthash task
1 parent 310e22b commit 2d1d7a9

File tree

114 files changed

+228
-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.

114 files changed

+228
-0
lines changed

‎c/uthash-2.0.2/uthash_BER_test1-1.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test1-2.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test10-1.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test2-1.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test2-2.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test3-1.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test3-2.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test4-1.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test4-3.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

‎c/uthash-2.0.2/uthash_BER_test5-1.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ properties:
77
expected_verdict: true
88
- property_file: ../properties/termination.prp
99
expected_verdict: true
10+
- property_file: ../properties/no-overflow.prp
11+
expected_verdict: true
1012
- property_file: ../properties/valid-memsafety.prp
1113
expected_verdict: true
1214
- property_file: ../properties/valid-memcleanup.prp

0 commit comments

Comments
 (0)