We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5faccf9 commit c47d3ddCopy full SHA for c47d3dd
regression/memsafety/built_from_end_false/test.desc
@@ -4,4 +4,4 @@ main.c
4
^EXIT=10$
5
^SIGNAL=0$
6
^VERIFICATION FAILED$
7
-\[main.pointer_dereference.11\] dereference failure: deallocated dynamic object in \*p: FAILURE
+\[main.pointer_dereference.15\] dereference failure: deallocated dynamic object in \*p: FAILURE
regression/memsafety/simple_false/test.desc
-\[main.pointer_dereference.23\] dereference failure: deallocated dynamic object in \*p: FAILURE
+\[main.pointer_dereference.33\] dereference failure: deallocated dynamic object in \*p: FAILURE
0 commit comments