Merge pull request #1204 from hernanponcedeleon/missing-overflow

Added missing expected result for no-overflow property

Author: dbeyer

c/nla-digbench/divbin.yml

@@ -3,6 +3,8 @@ input_files: 'divbin.i'
 properties:
   - property_file: ../properties/unreach-call.prp
     expected_verdict: false
+  - property_file: ../properties/no-overflow.prp
+    expected_verdict: true
 
 options:
   language: C

c/nla-digbench/divbin2.yml

@@ -3,6 +3,8 @@ input_files: 'divbin2.i'
 properties:
   - property_file: ../properties/unreach-call.prp
     expected_verdict: true
+  - property_file: ../properties/no-overflow.prp
+    expected_verdict: true
 
 options:
   language: C

c/nla-digbench/freire1.yml

@@ -3,6 +3,8 @@ input_files: 'freire1.c'
 properties:
   - property_file: ../properties/unreach-call.prp
     expected_verdict: false
+  - property_file: ../properties/no-overflow.prp
+    expected_verdict: true
 
 options:
   language: C

c/nla-digbench/freire2.yml

@@ -3,6 +3,8 @@ input_files: 'freire2.c'
 properties:
   - property_file: ../properties/unreach-call.prp
     expected_verdict: false
+  - property_file: ../properties/no-overflow.prp
+    expected_verdict: true
 
 options:
   language: C

c/nla-digbench/knuth.yml

@@ -3,6 +3,8 @@ input_files: 'knuth.i'
 properties:
   - property_file: ../properties/unreach-call.prp
     expected_verdict: true
+  - property_file: ../properties/no-overflow.prp
+    expected_verdict: true
 
 options:
   language: C

c/nla-digbench/lcm1.yml

@@ -3,6 +3,8 @@ input_files: 'lcm1.c'
 properties:
   - property_file: ../properties/unreach-call.prp
     expected_verdict: true
+  - property_file: ../properties/no-overflow.prp
+    expected_verdict: true
 
 options:
   language: C

c/nla-digbench/lcm2.yml

@@ -3,6 +3,8 @@ input_files: 'lcm2.c'
 properties:
   - property_file: ../properties/unreach-call.prp
     expected_verdict: true    
+  - property_file: ../properties/no-overflow.prp
+    expected_verdict: true
 
 options:
   language: C

c/nla-digbench/mannadiv.yml

@@ -3,6 +3,8 @@ input_files: 'mannadiv.c'
 properties:
   - property_file: ../properties/unreach-call.prp
     expected_verdict: true
+  - property_file: ../properties/no-overflow.prp
+    expected_verdict: true
 
 options:
   language: C