Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add ExtractSymbolics instances for tuples longer than 2 #103

Merged
merged 1 commit into from
Jul 20, 2023

:sparkles: Added ExtractSymbolics instances for tuples longer than 2

0e8fe7f
Select commit
Failed to load commit list.
Sign in for the full log view
Merged

Add ExtractSymbolics instances for tuples longer than 2 #103

:sparkles: Added ExtractSymbolics instances for tuples longer than 2
0e8fe7f
Select commit
Failed to load commit list.
GitHub Actions / Tests-ubuntu-latest-stack-928 succeeded Jul 20, 2023 in 1s

667 passed, 0 failed and 0 skipped

Tests passed successfully

✔️ test-report.xml

667 tests were completed in 127s with 667 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✔️ 1ms
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✔️ 1ms
Bits.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 11✔️ 0ms
Bool Lowering.LoweringTests.Grisette.Backend.SBV.Data.SMT.grisette 5✔️ 393ms
Bool only.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette 3✔️ 9s
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✔️ 520ms
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✔️ 3s
div.divisions on signed bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette 2✔️ 3s
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✔️ 13s
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✔️ 2s
Integer.Div unbounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette 4✔️ 0ms
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✔️ 1ms
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✔️ 12ms
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✔️ 1ms
IntN Lowering.LoweringTests.Grisette.Backend.SBV.Data.SMT.grisette 21✔️ 3s
IntN.Div bounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette 4✔️ 2ms
IntN.Mod.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette 5✔️ 0ms
IntN.Quot bounded.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette 4✔️ 2ms
IntN.Rem.IntegralTests.Prim.Grisette.IR.SymPrim.Data.grisette-symir.grisette 5✔️ 2ms
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✔️ 31s
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✔️ 3s
mod.divisions on signed bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette 2✔️ 3s
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✔️ 3ms
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✔️ 1ms
quot.divisions on integer.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette 2✔️ 3s
quot.divisions on signed bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette 2✔️ 3s
quot.divisions on unsigned bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette 2✔️ 0ms
read.BVTests.Grisette.Core.Control.Monad.UnionM.grisette 4✔️ 2ms
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✔️ 3s
rem.divisions on signed bv.TermRewritingTests.Grisette.Backend.SBV.Data.SMT.grisette 2✔️ 3s
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✔️ 8ms
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✔️ 5ms
safeDivMod.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 5✔️ 0ms
safeDivMod.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 4✔️ 6ms
safeDivMod.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 4✔️ 6ms
SafeLinearArith.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 6✔️ 2ms
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✔️ 0ms
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✔️ 1ms
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✔️ 6ms
safeQuotRem.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 5✔️ 10ms
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✔️ 2ms
safeRem.IntN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 4✔️ 8ms
safeRem.SafeDivision.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 4✔️ 1ms
safeRem.WordN.SafeDivision.Sym BV.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 4✔️ 8ms
Select.Different sized BV.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette 2✔️ 411ms
Sext.Different sized BV.CEGISTests.Grisette.Backend.SBV.Data.SMT.grisette 2✔️ 640ms
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✔️ 16ms
SOrd.SymInteger.SymPrimTests.Grisette.IR.SymPrim.Data.grisette-symir.grisette 2✔️ 1ms
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✔️ 1ms
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✔️ 31s
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✔️ 9ms
WordN 8 conform to Word8 for Bounded instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette 2✔️ 1ms
WordN 8 conform to Word8 for Enum instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette 5✔️ 3ms
WordN 8 conform to Word8 for FiniteBits instances.BVTests.Grisette.Core.Control.Monad.UnionM.grisette 3✔️ 2ms
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✔️ 1ms
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✔️ 1ms
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✔️ 0ms
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✔️ 669ms
View more details on GitHub Actions