Skip to content

Commit 2d6fe5b

Browse files
Fix regression test: remove justcil from unplaced ghost update warning test
Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/47fdf870-86a7-4795-9f3c-1cd7ce2166c8 Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
1 parent 08a84b0 commit 2d6fe5b

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • tests/regression/witness/ghost.t

tests/regression/witness/ghost.t/run.t

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ Ghost updates from a YAML witness are inserted after the matching statement, wra
1414

1515
A ghost update at a line with no matching instruction produces a warning:
1616

17-
$ goblint --enable justcil --set dbg.justcil-printer clean --set witness.yaml.validate ghost-update-unplaced.yml ghost-update-unplaced.c 2>&1 | grep "could not be placed"
17+
$ goblint --set witness.yaml.validate ghost-update-unplaced.yml ghost-update-unplaced.c 2>&1 | grep "could not be placed"
1818
[Warning][Witness] ghost update at ghost-update-unplaced.c:99 could not be placed: no matching instruction found
1919

2020
An unplaced ghost update prevents successful validation:

0 commit comments

Comments
 (0)