From b38702ed5b0db2c2f164200439f5bc8ebb192c4c Mon Sep 17 00:00:00 2001 From: Luc Maranget Date: Tue, 15 Oct 2024 17:39:02 +0200 Subject: [PATCH] [herd] Update test reference files --- herd/tests/instructions/AArch32/A016.litmus.expected-warn | 2 +- herd/tests/instructions/AArch32/A017.litmus.expected-warn | 2 +- herd/tests/instructions/AArch32/A018.litmus.expected-warn | 2 +- herd/tests/instructions/AArch32/A019.litmus.expected-warn | 2 +- herd/tests/instructions/AArch64.kvm/A018.litmus.expected-warn | 2 +- herd/tests/instructions/AArch64/A184.litmus.expected-warn | 2 +- herd/tests/instructions/AArch64/L029.litmus.expected-warn | 2 +- .../instructions/ASL-pseudo-arch/for-toofar.litmus.expected | 2 +- .../ASL-pseudo-arch/for-toofar.litmus.expected-warn | 2 +- .../instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected | 2 +- .../ASL-pseudo-arch/repeat-toofar.litmus.expected-warn | 2 +- .../instructions/ASL-pseudo-arch/while-toofar.litmus.expected | 2 +- .../ASL-pseudo-arch/while-toofar.litmus.expected-warn | 2 +- 13 files changed, 13 insertions(+), 13 deletions(-) diff --git a/herd/tests/instructions/AArch32/A016.litmus.expected-warn b/herd/tests/instructions/AArch32/A016.litmus.expected-warn index 18b8b58f3..384a0b20b 100644 --- a/herd/tests/instructions/AArch32/A016.litmus.expected-warn +++ b/herd/tests/instructions/AArch32/A016.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/AArch32/A017.litmus.expected-warn b/herd/tests/instructions/AArch32/A017.litmus.expected-warn index 4fa4c0e28..66f52d1f3 100644 --- a/herd/tests/instructions/AArch32/A017.litmus.expected-warn +++ b/herd/tests/instructions/AArch32/A017.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/AArch32/A018.litmus.expected-warn b/herd/tests/instructions/AArch32/A018.litmus.expected-warn index 17245c3b1..d01dc8fb2 100644 --- a/herd/tests/instructions/AArch32/A018.litmus.expected-warn +++ b/herd/tests/instructions/AArch32/A018.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/AArch32/A019.litmus.expected-warn b/herd/tests/instructions/AArch32/A019.litmus.expected-warn index 065d17c49..723188119 100644 --- a/herd/tests/instructions/AArch32/A019.litmus.expected-warn +++ b/herd/tests/instructions/AArch32/A019.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/AArch64.kvm/A018.litmus.expected-warn b/herd/tests/instructions/AArch64.kvm/A018.litmus.expected-warn index 34f78090e..fa7f8d00b 100644 --- a/herd/tests/instructions/AArch64.kvm/A018.litmus.expected-warn +++ b/herd/tests/instructions/AArch64.kvm/A018.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/AArch64/A184.litmus.expected-warn b/herd/tests/instructions/AArch64/A184.litmus.expected-warn index 871a0ece7..dcffd03cb 100644 --- a/herd/tests/instructions/AArch64/A184.litmus.expected-warn +++ b/herd/tests/instructions/AArch64/A184.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/AArch64/L029.litmus.expected-warn b/herd/tests/instructions/AArch64/L029.litmus.expected-warn index a8ee05958..8d2daf5b2 100644 --- a/herd/tests/instructions/AArch64/L029.litmus.expected-warn +++ b/herd/tests/instructions/AArch64/L029.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus.expected b/herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus.expected index 5a65c59c2..d6608e5a2 100644 --- a/herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus.expected +++ b/herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus.expected @@ -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) diff --git a/herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus.expected-warn b/herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus.expected-warn index 77cf5838b..20b6e2939 100644 --- a/herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus.expected-warn +++ b/herd/tests/instructions/ASL-pseudo-arch/for-toofar.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected b/herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected index 3857c25a3..f67ecf876 100644 --- a/herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected +++ b/herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected @@ -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) diff --git a/herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected-warn b/herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected-warn index f51283cc0..c6146e6f1 100644 --- a/herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected-warn +++ b/herd/tests/instructions/ASL-pseudo-arch/repeat-toofar.litmus.expected-warn @@ -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. diff --git a/herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus.expected b/herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus.expected index 1dc829e44..498babbc5 100644 --- a/herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus.expected +++ b/herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus.expected @@ -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) diff --git a/herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus.expected-warn b/herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus.expected-warn index 2b23cc3ce..fd0c9e80a 100644 --- a/herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus.expected-warn +++ b/herd/tests/instructions/ASL-pseudo-arch/while-toofar.litmus.expected-warn @@ -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.