Skip to content

Commit b65388e

Browse files
kroeningkroening
committed
pointer encoding: tests changed
1 parent 6d8e646 commit b65388e

File tree

1 file changed

+1
-1
lines changed
  • jbmc/regression/jbmc-json-ui/pointer-simplification

1 file changed

+1
-1
lines changed

‎jbmc/regression/jbmc-json-ui/pointer-simplification/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
CORE
1+
KNOWNBUG
22
test
33
filter.jq --json-ui --trace
44
^EXIT=0$

0 commit comments

Comments
 (0)