Searched refs:withCVC4 (Results 1 – 3 of 3) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Solver/ |
| H A D | CVC4.hs | 26 , withCVC4
181 withCVC4
189 withCVC4 = SMT2.withSolver CVC4 nullAcknowledgementAction (SMT2.defaultFeatures CVC4) function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/test/ |
| H A D | ExprBuilderSMTLib2.hs | 99 withCVC4
102 withCVC4 action = withSym FloatRealRepr $ \sym -> do function
970 , testCase "CVC4 1-tuple" $ withCVC4 oneTupleTest
971 , testCase "CVC4 pair" $ withCVC4 pairTest
974 , testCase "CVC4 forall binder" $ withCVC4 forallTest
982 , testCase "CVC4 string1" $ withCVC4 stringTest1
983 , testCase "CVC4 string2" $ withCVC4 stringTest2
988 , testCase "CVC4 string4" $ withCVC4 stringTest4
989 , testCase "CVC4 string5" $ withCVC4 stringTest5
994 , testCase "CVC4 binder tuple1" $ withCVC4 binderTupleTest1
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/ |
| H A D | Solver.hs | 50 , withCVC4
|