From 07430d2c0f225449d5b40426c87e6747481981a9 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Thu, 29 Feb 2024 17:27:29 +0200
Subject: [PATCH] Use yamlWitnessStrip for 56-witness/08-witness-all-locals

---
 .../56-witness/08-witness-all-locals.t        | 59 ++++++++++++++++++-
 1 file changed, 57 insertions(+), 2 deletions(-)

diff --git a/tests/regression/56-witness/08-witness-all-locals.t b/tests/regression/56-witness/08-witness-all-locals.t
index 64ab054549..bd7012ec25 100644
--- a/tests/regression/56-witness/08-witness-all-locals.t
+++ b/tests/regression/56-witness/08-witness-all-locals.t
@@ -6,7 +6,40 @@
   [Info][Witness] witness generation summary:
     total generation entries: 3
 
-TODO: check witness.yml content with yamlWitnessStrip
+  $ yamlWitnessStrip < witness.yml
+  - entry_type: location_invariant
+    location:
+      file_name: 08-witness-all-locals.c
+      file_hash: $FILE_HASH
+      line: 9
+      column: 2
+      function: main
+    location_invariant:
+      string: y == 10
+      type: assertion
+      format: C
+  - entry_type: location_invariant
+    location:
+      file_name: 08-witness-all-locals.c
+      file_hash: $FILE_HASH
+      line: 9
+      column: 2
+      function: main
+    location_invariant:
+      string: x == 5
+      type: assertion
+      format: C
+  - entry_type: location_invariant
+    location:
+      file_name: 08-witness-all-locals.c
+      file_hash: $FILE_HASH
+      line: 7
+      column: 4
+      function: main
+    location_invariant:
+      string: x == 5
+      type: assertion
+      format: C
 
 Fewer entries are emitted if locals from nested block scopes are excluded:
 
@@ -19,4 +52,26 @@ Fewer entries are emitted if locals from nested block scopes are excluded:
   [Info][Witness] witness generation summary:
     total generation entries: 2
 
-TODO: check witness.yml content with yamlWitnessStrip
+  $ yamlWitnessStrip < witness.yml
+  - entry_type: location_invariant
+    location:
+      file_name: 08-witness-all-locals.c
+      file_hash: $FILE_HASH
+      line: 9
+      column: 2
+      function: main
+    location_invariant:
+      string: x == 5
+      type: assertion
+      format: C
+  - entry_type: location_invariant
+    location:
+      file_name: 08-witness-all-locals.c
+      file_hash: $FILE_HASH
+      line: 7
+      column: 4
+      function: main
+    location_invariant:
+      string: x == 5
+      type: assertion
+      format: C