Bump what4 submodule to incorporate GaloisInc/what4#256

This also reverts the test output changes from commit 23cc439, as the option which caused the change is no longer enabled by default.
GaloisInc · Mar 1, 2024 · a4300a4 · a4300a4
1 parent 8a7f59f
commit a4300a4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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 @@
-ite (floatIsNaN cX@3:f) 0x0:[32] 0x1:[32]
+bvZext 32 (ite (floatIsNaN cX@3:f) 0x0:[1] 0x1:[1])
 [Crux] Overall status: Valid.
diff --git a/dependencies/what4 b/dependencies/what4
+1 −0		what4/src/What4/Expr.hs
+128 −62		what4/src/What4/Expr/Builder.hs
+1 −1		what4/src/What4/Protocol/SMTLib2.hs
+40 −0		what4/test/AdapterTest.hs
+1 −1		what4/what4.cabal