Merge pull request #1264 from tautschnig/fix-floppy2

ntdrivers/floppy2 is not memory safe
sosy-lab · Dec 18, 2020 · 69f30c4 · 69f30c4
2 parents 3cd7d0b + 1eedb24
commit 69f30c4
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/c/ntdrivers/floppy2.i.cil.yml b/c/ntdrivers/floppy2.i.cil.yml
@@ -4,10 +4,9 @@ format_version: '2.0'
 input_files: 'floppy2.i.cil.c'
 
 properties:
-  - property_file: ../properties/termination.prp
-    expected_verdict: true
-  - property_file: ../properties/unreach-call.prp
-    expected_verdict: true
+  - property_file: ../properties/valid-memsafety.prp
+    expected_verdict: false
+    subproperty: valid-deref
   - property_file: ../properties/coverage-branches.prp
 
 options: