Skip to content

Commit c63ba9a

Browse files
author
thk123
committed
Fixed typo introduced in test
1 parent a6eb96a commit c63ba9a

File tree

1 file changed

+1
-1
lines changed
  • regression/goto-analyzer/sensitivity-last-written-locations-structs

1 file changed

+1
-1
lines changed

regression/goto-analyzer/sensitivity-last-written-locations-structs/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ main#return_value \(\) -> TOP @ \[1\]
1919
do_structs::1::bool_ \(\) -> TOP @ \[16\]
2020
do_structs::1::bool_1 \(\) -> TOP @ \[17\]
2121
do_structs::1::bool_2 \(\) -> TOP @ \[18\]
22-
do_structs::1::st \(\) -> \{ \} @ \[19\]
22+
do_structs::1::st \(\) -> \{\} @ \[19\]
2323
do_structs::1::st \(\) -> \{.x=00000000000000000000000000001010 @ \[20\]\} @ \[20\]
2424
do_structs::1::st \(\) -> \{.x=00000000000000000000000000001010 @ \[20\]\, .y=00000000000000000000000000010100 @ \[21\]\} @ \[21\]
2525
do_structs::1::st \(\) -> \{.x=00000000000000000000000000011110 @ \[22\]\, .y=00000000000000000000000000010100 @ \[21\]\} @ \[22\]

0 commit comments

Comments
 (0)