GitHub Actions / Tests-ubuntu-latest-cabal-928
succeeded
Jul 7, 2023 in 0s.
View latest attempt.
663 passed, 0 failed and 0 skipped
✔️ test-report.xml
663 tests were completed in 94s 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✔️ | 1ms | ||
| Bool Lowering.LoweringTests.Grisette.Backend.SBV.Data.SMT.grisette | 5✔️ | 336ms | ||
| Bool only.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 3✔️ | 8s | ||
| Boolean.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette | 6✔️ | 3s | ||
| 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✔️ | 426ms | ||
| 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✔️ | 4s | ||
| 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✔️ | 0ms | ||
| Eqv & NEqv.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 9✔️ | 0ms | ||
| Extension.BVTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 2✔️ | 0ms | ||
| Fixed sized SignedBV.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette | 1✔️ | 8s | ||
| 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✔️ | 0ms | ||
| 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✔️ | 6ms | ||
| 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✔️ | 5ms | ||
| IntN.SafeLinearArith.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 3✔️ | 5ms | ||
| ITE.BoolTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 18✔️ | 1ms | ||
| 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✔️ | 16s | ||
| LogicalOp.SymBool.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
| Lt.NumTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 14✔️ | 0ms | ||
| 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✔️ | 2ms | ||
| 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✔️ | 263ms | ||
| 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✔️ | 0ms | ||
| 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✔️ | 1ms | ||
| safeDiv.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 0ms | ||
| 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✔️ | 0ms | ||
| SafeLinearArith.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 6✔️ | 0ms | ||
| safeMod.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
| 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✔️ | 1ms | ||
| 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✔️ | 1ms | ||
| safeQuot.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
| safeQuotRem.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 5✔️ | 0ms | ||
| safeQuotRem.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
| safeQuotRem.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette | 4✔️ | 1ms | ||
| 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✔️ | 342ms | ||
| Sext.Different sized BV.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette | 2✔️ | 538ms | ||
| 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✔️ | 26s | ||
| 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✔️ | 3ms | ||
| 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✔️ | 0ms | ||
| 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✔️ | 0ms | ||
| 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✔️ | 537ms |
Loading