one last try at getting symbolic tests working for windows

crytic · Apr 10, 2024 · 104cefa · 104cefa
1 parent f6ba713
commit 104cefa
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git a/.github/scripts/install-z3.sh b/.github/scripts/install-z3.sh
@@ -5,7 +5,6 @@ if [ "$HOST_OS" = "Linux" ]; then
   sudo apt-get update
   sudo apt-get install -y z3
 fi
-# symbolic tests are currently disabled on windows because they fail
-# if [ "$HOST_OS" = "Windows" ]; then
-#   choco install z3
-# fi
+if [ "$HOST_OS" = "Windows" ]; then
+  choco install z3 --version=4.8.14
+fi
diff --git a/src/test/Tests/Symbolic.hs b/src/test/Tests/Symbolic.hs
@@ -1,12 +1,11 @@
 module Tests.Symbolic (symbolicTests) where
 
-import System.Info (os)
 import Test.Tasty (TestTree, testGroup)
 import Common (testContract', solved, passed)
 import Echidna.Types.Campaign (WorkerType(..))
 
 symbolicTests :: TestTree
-symbolicTests = testGroup "Symbolic tests" $ if os /= "linux" then [] else
+symbolicTests = testGroup "Symbolic tests"
   [ testContract' "symbolic/sym.sol" Nothing Nothing (Just "symbolic/sym.yaml") True SymbolicWorker
       [ ("echidna_sym passed", passed "echidna_sym") ]