Skip to content

Commit 60e210f

Browse files
tautschnigtautschnig
committed
fixup! goto-symex/concurrency: limit unsoundness-abort to dereferencing shared pointers
1 parent 9d4ffaf commit 60e210f

File tree

1 file changed

+1
-1
lines changed
  • regression/book-examples/account

1 file changed

+1
-1
lines changed

‎regression/book-examples/account/C10.desc‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE
1+
CORE no-new-smt gcc-only
22
account.c
33

44
^EXIT=10$

0 commit comments

Comments
 (0)