crucible-debug: Accept new test output due to changes in TypeRepr pre…

…tty-printing This fixes an oversight from #1295 in which the `Pretty` instance for `TypeRepr` was changed, but the expected test output from various `crucible-debug` test cases (which depend on the behavior of that `Pretty` instance) were not updated. Easily fixed. Towards a fix for #1302.
GaloisInc · Feb 11, 2025 · ae3d6dd · ae3d6dd
1 parent 31a59e4
commit ae3d6dd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/crucible-debug/test-data/frame.txt b/crucible-debug/test-data/frame.txt
@@ -32,8 +32,8 @@ CFG: add
 Block: %0
 
 Argument types:
-- IntegerRepr
-- IntegerRepr
+- Integer
+- Integer
 
 > run
 

diff --git a/crucible-debug/test-data/reg.txt b/crucible-debug/test-data/reg.txt
@@ -68,7 +68,7 @@ Ok
 > reg
 
 ite cp@0:b cx@1:i 12
-add : IntegerRepr -> IntegerRepr -> IntegerRepr
+add : Integer -> Integer -> Integer
 0
 ite cp@0:b cx@1:i 12