From ae3d6dd449592a0fe5c47a8e3101792526437fdd Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Tue, 11 Feb 2025 07:13:30 -0500 Subject: [PATCH] crucible-debug: Accept new test output due to changes in TypeRepr pretty-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. --- crucible-debug/test-data/frame.txt | 4 ++-- crucible-debug/test-data/reg.txt | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/crucible-debug/test-data/frame.txt b/crucible-debug/test-data/frame.txt index b9365c787..9246fc347 100644 --- 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 index 1f4fb21fa..b7d2a6017 100644 --- 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