Update test output.

GaloisInc · Jan 24, 2024 · d458f24 · d458f24
1 parent 623b043
commit d458f24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crux-llvm/test-data/golden/golden/float-cast2.z3.good b/crux-llvm/test-data/golden/golden/float-cast2.z3.good
@@ -1,2 +1,2 @@
-bvZext 32 (ite (floatIsNaN cX@3:f) 0x0:[1] 0x1:[1])
+ite (floatIsNaN cX@3:f) 0x0:[32] 0x1:[32]
 [Crux] Overall status: Valid.