Introduce experimental GenSymConstrained type class #89
GitHub Actions / Tests-ubuntu-latest-cabal-902
succeeded
Jul 7, 2023 in 0s
663 passed, 0 failed and 0 skipped
✔️ test-report.xml
663 tests were completed in 118s with 663 passed, 0 failed and 0 skipped.
Test suite | Passed | Failed | Skipped | Time |
---|---|---|---|---|
Abs.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 6✔️ | 0ms | ||
Add.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 14✔️ | 0ms | ||
And.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 18✔️ | 0ms | ||
AndBits.BitsTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
ApplyF.TabularFunTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 3✔️ | 0ms | ||
Bits.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 11✔️ | 0ms | ||
Bool Lowering.LoweringTests.Grisette.Backend.SBV.Data.SMT.grisette | 5✔️ | 347ms | ||
Bool only.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 3✔️ | 8s | ||
Boolean.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette | 6✔️ | 4s | ||
ComplementBits.BitsTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 3✔️ | 0ms | ||
Concat.BVTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
Concat.Different sized BV.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 453ms | ||
conversion between Int8 and Sym BV.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
conversion between Word8 and Sym BV.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
Different sized SignedBV.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 1✔️ | 5s | ||
div.divisions on integer.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 2s | ||
div.divisions on signed bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 2s | ||
div.divisions on unsigned bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 1ms | ||
Eqv & NEqv.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 9✔️ | 0ms | ||
Extension.BVTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 4ms | ||
Fixed sized SignedBV.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 1✔️ | 7s | ||
General SymPrim.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 7✔️ | 0ms | ||
GeneralFun.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
Imply.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
Integer Lowering.LoweringTests.Grisette.Backend.SBV.Data.SMT.grisette | 11✔️ | 1s | ||
Integer.Div unbounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
Integer.Mod.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
Integer.Quot unbounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
Integer.Rem.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 1ms | ||
IntN 8 conform to Int8 for Bits instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 19✔️ | 2ms | ||
IntN 8 conform to Int8 for Bounded instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 2✔️ | 0ms | ||
IntN 8 conform to Int8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 5✔️ | 39ms | ||
IntN 8 conform to Int8 for FiniteBits instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 3✔️ | 0ms | ||
IntN 8 conform to Int8 for Integral instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 1✔️ | 0ms | ||
IntN 8 conform to Int8 for Num instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 7✔️ | 1ms | ||
IntN 8 conform to Int8 for Real instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 1✔️ | 0ms | ||
IntN 8 conform to IntN for Ord instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 1✔️ | 0ms | ||
IntN Bounded.Div bounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
IntN Bounded.Quot bounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
IntN bvops.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 5✔️ | 0ms | ||
IntN Lowering.LoweringTests.Grisette.Backend.SBV.Data.SMT.grisette | 21✔️ | 3s | ||
IntN.Div bounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
IntN.Mod.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 1ms | ||
IntN.Quot bounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
IntN.Rem.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
IntN.SafeLinearArith.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 3✔️ | 6ms | ||
ITE.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 18✔️ | 0ms | ||
ITEOp.General SymPrim.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
Le.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 14✔️ | 0ms | ||
LIA.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 38s | ||
LogicalOp.SymBool.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
Lt.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 14✔️ | 1ms | ||
minus.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
mod.divisions on integer.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 2s | ||
mod.divisions on signed bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 2s | ||
mod.divisions on unsigned bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 0ms | ||
ModelTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 10✔️ | 0ms | ||
name.IntN 8 conform to Int8 for Integral instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 18✔️ | 1ms | ||
name.WordN 8 conform to Word8 for Integral instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 18✔️ | 1ms | ||
Not.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
Num.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 7✔️ | 0ms | ||
Num.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 7✔️ | 0ms | ||
NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
Or.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 18✔️ | 0ms | ||
OrBits.BitsTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
pevalBVSelectTerm.BVTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
pred.IntN 8 conform to Int8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 2✔️ | 0ms | ||
pred.WordN 8 conform to Word8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 2✔️ | 0ms | ||
quot.divisions on integer.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 2s | ||
quot.divisions on signed bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 2s | ||
quot.divisions on unsigned bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 0ms | ||
Regression.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 1✔️ | 0ms | ||
Regression.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette | 3✔️ | 282ms | ||
rem.divisions on integer.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 2s | ||
rem.divisions on signed bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 2s | ||
rem.divisions on unsigned bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 1ms | ||
Rotate.BitsTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
safeDiv.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
safeDiv.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
safeDiv.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
safeDivMod.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 2ms | ||
safeDivMod.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
safeDivMod.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
SafeLinearArith.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 6✔️ | 1ms | ||
safeMod.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
safeMod.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
safeMod.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 4ms | ||
safeQuot.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 2ms | ||
safeQuot.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
safeQuot.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
safeQuotRem.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 2ms | ||
safeQuotRem.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
safeQuotRem.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
safeRem.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
safeRem.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
safeRem.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
Select.Different sized BV.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 366ms | ||
Sext.Different sized BV.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 590ms | ||
ShiftBits.BitsTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
Signum.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 6✔️ | 0ms | ||
sizedBVConcat.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
sizedBVExt for Sym BV.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 3✔️ | 0ms | ||
sizedBVSelect for Sym BV.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
Solvable.General SymPrim.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
SOrd.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 2ms | ||
SOrd.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
succ.IntN 8 conform to Int8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 2✔️ | 0ms | ||
succ.WordN 8 conform to Word8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 2✔️ | 0ms | ||
Symbolic size.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
TabularFun.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
TabularFunTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
Times.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 21✔️ | 0ms | ||
timesNumSpec on integer.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 6✔️ | 28s | ||
ToCon.General SymPrim.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
toEnum.IntN 8 conform to Int8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 3✔️ | 0ms | ||
toEnum.WordN 8 conform to Word8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 3✔️ | 0ms | ||
ToSym.General SymPrim.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
UMinus.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 6✔️ | 0ms | ||
UnionMTests.Grisette.Core.Control.Monad.UnionM.grisette | 1✔️ | 0ms | ||
WordN 8 conform to Word8 for Bits instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 19✔️ | 7ms | ||
WordN 8 conform to Word8 for Bounded instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 2✔️ | 0ms | ||
WordN 8 conform to Word8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 5✔️ | 1ms | ||
WordN 8 conform to Word8 for FiniteBits instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 3✔️ | 0ms | ||
WordN 8 conform to Word8 for Integral instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 1✔️ | 0ms | ||
WordN 8 conform to Word8 for Num instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 7✔️ | 1ms | ||
WordN 8 conform to Word8 for Ord instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 1✔️ | 0ms | ||
WordN 8 conform to Word8 for Real instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 1✔️ | 0ms | ||
WordN Bounded.Div unbounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
WordN Bounded.Quot unbounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
WordN bvops.BVTests.Grisette.Core.Control.Monad.UnionM.grisette | 5✔️ | 0ms | ||
WordN.Div unbounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
WordN.LoweringTests.Grisette.Backend.SBV.Data.SMT.grisette | 21✔️ | 3s | ||
WordN.Mod.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
WordN.Quot unbounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
WordN.Rem.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 1ms | ||
WordN.SafeLinearArith.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 3✔️ | 1ms | ||
Xor.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 1✔️ | 0ms | ||
XorBits.BitsTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 6✔️ | 0ms | ||
Zext.Different sized BV.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 593ms |
Loading