added lock order check

Signed-off-by: Lucas Cordeiro <[email protected]>
kunjsong01 · Jul 21, 2023 · 3e2779b · 3e2779b
1 parent 43ebcf1
commit 3e2779b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/regression/esbmc-unix/02_phase_06/test.desc b/regression/esbmc-unix/02_phase_06/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
---context-bound 3
+--context-bound 3 --lock-order-check
 ^VERIFICATION FAILED$