Skip to content

Commit

Permalink
[herd] Update test reference files
Browse files Browse the repository at this point in the history
  • Loading branch information
maranget committed Oct 18, 2024
1 parent 6fff31b commit b38702e
Show file tree
Hide file tree
Showing 13 changed files with 13 additions and 13 deletions.
2 changes: 1 addition & 1 deletion herd/tests/instructions/AArch32/A016.litmus.expected-warn
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: File "./herd/tests/instructions/AArch32/A016.litmus", unrolling limit exceeded, legal outcomes may be missing.
Warning: File "./herd/tests/instructions/AArch32/A016.litmus": unrolling limit exceeded at L0, legal outcomes may be missing.
2 changes: 1 addition & 1 deletion herd/tests/instructions/AArch32/A017.litmus.expected-warn
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: File "./herd/tests/instructions/AArch32/A017.litmus", unrolling limit exceeded, legal outcomes may be missing.
Warning: File "./herd/tests/instructions/AArch32/A017.litmus": unrolling limit exceeded at L0, legal outcomes may be missing.
2 changes: 1 addition & 1 deletion herd/tests/instructions/AArch32/A018.litmus.expected-warn
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: File "./herd/tests/instructions/AArch32/A018.litmus", unrolling limit exceeded, legal outcomes may be missing.
Warning: File "./herd/tests/instructions/AArch32/A018.litmus": unrolling limit exceeded at L0, legal outcomes may be missing.
2 changes: 1 addition & 1 deletion herd/tests/instructions/AArch32/A019.litmus.expected-warn
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: File "./herd/tests/instructions/AArch32/A019.litmus", unrolling limit exceeded, legal outcomes may be missing.
Warning: File "./herd/tests/instructions/AArch32/A019.litmus": unrolling limit exceeded at L0, legal outcomes may be missing.
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: File "./herd/tests/instructions/AArch64.kvm/A018.litmus", unrolling limit exceeded, legal outcomes may be missing.
Warning: File "./herd/tests/instructions/AArch64.kvm/A018.litmus": unrolling limit exceeded at L0, legal outcomes may be missing.
2 changes: 1 addition & 1 deletion herd/tests/instructions/AArch64/A184.litmus.expected-warn
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: File "./herd/tests/instructions/AArch64/A184.litmus", unrolling limit exceeded, legal outcomes may be missing.
Warning: File "./herd/tests/instructions/AArch64/A184.litmus": unrolling limit exceeded at L0, legal outcomes may be missing.
2 changes: 1 addition & 1 deletion herd/tests/instructions/AArch64/L029.litmus.expected-warn
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: File "./herd/tests/instructions/AArch64/L029.litmus", unrolling limit exceeded, legal outcomes may be missing.
Warning: File "./herd/tests/instructions/AArch64/L029.litmus": unrolling limit exceeded at L1, legal outcomes may be missing.
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ States 3
0:T0.0.s=0;
0:T0.0.s=1;
0:T0.0.s=3;
Ok
Loop Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Expand Down
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: For loop unrolling reached limit, legal outcomes may be missing
Warning: File "./herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus": unrolling limit exceeded at For loop pruned, legal outcomes may be missing.
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ States 3
0:T0.0.s=0;
0:T0.0.s=1;
0:T0.0.s=3;
Ok
Loop Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Expand Down
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: Repeat loop unrolling reached limit, legal outcomes may be missing
Warning: File "./herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus": unrolling limit exceeded at Repeat loop pruned, legal outcomes may be missing.
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ States 3
0:T0.0.s=0;
0:T0.0.s=1;
0:T0.0.s=3;
Ok
Loop Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Expand Down
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Warning: While loop unrolling reached limit, legal outcomes may be missing
Warning: File "./herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus": unrolling limit exceeded at While loop pruned, legal outcomes may be missing.

0 comments on commit b38702e

Please sign in to comment.