Skip to content

Commit 4536796

Browse files
author
Enrico Steffinlongo
committed
Marked error-producing test as KNOWNBUG
1 parent 58f05d9 commit 4536796

File tree

1 file changed

+2
-2
lines changed
  • regression/goto-harness/load-snapshot-static-global-pointer-01

1 file changed

+2
-2
lines changed

regression/goto-harness/load-snapshot-static-global-pointer-01/test.desc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CORE
1+
KNOWNBUG
22
main.c
3-
harness.gb --harness-type initialize-with-memory-snapshot --memory-snapshot snapshot.json --initial-goto-location main:0 _ --no-standard-checks
3+
harness.gb --harness-type initialize-with-memory-snapshot --memory-snapshot snapshot.json --initial-goto-location main:0
44
^EXIT=0$
55
^SIGNAL=0$
66
VERIFICATION SUCCESSFUL

0 commit comments

Comments
 (0)