Skip to content

Commit ce789ee

Browse files
danpoedanpoe
committed
enable failed tests printer for goto-analyzer regression tests
1 parent 1ef5df0 commit ce789ee

File tree

1 file changed

+1
-1
lines changed
  • regression/goto-analyzer/intervals_09

1 file changed

+1
-1
lines changed

‎regression/goto-analyzer/intervals_09/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
main.c
33
--intervals --verify
44
^EXIT=0$

0 commit comments

Comments
 (0)