Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

Skipped feature combinations by plug feature RecordSet

Id Case Feature Plug Feature Skip Reason
098609a288f22659f49babad8bd1ac3cbf9ceba6 OneLineComment RecordSet CanNotBeCase
c5ce8634a25fbb8deebfa59d7ebe8f244323394f OneLineComment RecordSet CanNotBeCase
d03a79cbef1e1be6b9e2450aadf3c1485d61ed8b MultiLineComment RecordSet CanNotBeCase
d114a86c746741477a8c8ef106b2823cf3636481 MultiLineComment RecordSet CanNotBeCase
ff077d8958bb10712f4465f537cab83acdc66cca BoolTrue RecordSet TypeMismatch
a9e7de372995f7aae511c318cc766588dca7d865 BoolTrue RecordSet TypeMismatch
e511c8c16cd96344baa63a032317728d36f77538 BoolFalse RecordSet TypeMismatch
7983f66473b78ebd47b37e08ac7d35ed4aac9736 BoolFalse RecordSet TypeMismatch
79be36633aac76c68edb044778698d72922cbb1b BoolSet RecordSet CanNotBeCase
9e600e66dc6dc4075499ddc52de0017570b4b12c BoolSet RecordSet CanNotBeCase
96dcb5f0d9edb76e3b9a5424b7ffca53b1f1ecce And RecordSet TypeMismatch
cc0a7cee5bde69a020aa0d6ce0887548339a17b2 And RecordSet TypeMismatch
cd20d82e7200fd3e3ae4d7a9cfd1d2fd628bfb64 AndMultiLine RecordSet TypeMismatch
a66dd9ece89d01c59a0eb53ff8fa2cf218f97523 AndMultiLine RecordSet TypeMismatch
8ce3335a96f6a5320f91ad9453284b9c4d94dc0f Imply RecordSet TypeMismatch
cc6e8a838041f43b517fb48e5c9e1c61c1a476e9 Imply RecordSet TypeMismatch
6c33742fa3a5e4eb24a9dcb95d25c2071a75d4f9 Not RecordSet TypeMismatch
0b195d67f8f240753163e78ad4398d97305eca5a Not RecordSet TypeMismatch
6830cd59069ea8873e20ae39a7ab5ab197079c8a Or RecordSet TypeMismatch
7bc31034abbfa2c84c68188c015c8754c2dd9d77 Or RecordSet TypeMismatch
09c9c69d0aacdef6a2184f8558912b82a7a86776 OrMultiLine RecordSet TypeMismatch
b941f7dae7cfd644d4a0a4f4f8acccf0e8aca431 OrMultiLine RecordSet TypeMismatch
dbca1f72787e744ef36453f4a9833f1e45f1d71b AndProp RecordSet TypeMismatch
2a44b0b090f9738b4b03aad8bab7d55cf1675563 AndProp RecordSet TypeMismatch
8a07ae939670dedfed3551fc033241b57f9efbe4 Boxed RecordSet TypeMismatch
28c9b9c58e2915afd8939e5309d4aafeb162510f Boxed RecordSet TypeMismatch
0846940473181b90e0ecea69f8db8ee8a84ecd7f SetEmpty RecordSet CanNotBeCase
82473bf94c115a0419879673856906d1bef3010d SetEmpty RecordSet CanNotBeCase
3fe5a9ff61d2cffa30b59a7327ace5c29679f9a6 Set1InDef RecordSet TypeMismatch
835caed5045aa289cf32440c45155e321d6372e5 Set1InDef RecordSet TypeMismatch
e189c60f4944b5f22e2cdb855653cdb92c468c6d Set2InDef RecordSet TypeMismatch
3b18c496f9a50fc0def25d041b141f467e636824 Set2InDef RecordSet TypeMismatch
a75f0541c1909cde5897c1ec2531efc3cc3b6665 InDef0 RecordSet CanNotBeCase
70f14dc18980f7031548a176167a08134d7a1aef InDef0 RecordSet CanNotBeCase
2a70452fe6a718ce5f1ae9a6703207e6c97161d1 InDef1 RecordSet CanNotBeCase
a571a364234b8370ad5305ee5aaeaeeecbbce13a InDef1 RecordSet CanNotBeCase
9401f4752a555930f2ae2e486c7b14e3351f6bdf InDef2 RecordSet CanNotBeCase
dd30658ad6d13db7eb0fa60aa3053640ef4fb16d InDef2 RecordSet CanNotBeCase
501aa80061d1847e20e336ea41fad3c3536a5c2a FunInDef RecordSet TypeMismatch
c66cc6f805ff188e46cdfe36a42f64f417041c39 FunInDef RecordSet TypeMismatch
62f0c137140696768f0efd71fd95e862750ef5b3 Exists RecordSet TypeMismatch
d13d6862e6626128a5a4bbe9618f1ce88f63066e Exists RecordSet TypeMismatch
d17bfe077e0279b1617ec4ae6094076f68a5e1dd Forall RecordSet TypeMismatch
bde83752b1371eb2781fb300ecd8ba4da62ae7fa Forall RecordSet TypeMismatch
4b0dfeccf7a1d1e06fc1c4116af65b1f042a5a20 ExistsInDef RecordSet TypeMismatch
ab6b15323dccf76d375b388892e426b66be328a6 ExistsInDef RecordSet TypeMismatch
b7ac6f1a14a1bdf64986e020fcf2d3b4d473db49 ForallInDef RecordSet TypeMismatch
7ffcbc627bf9c5606c61fa03c4b84210ebe22370 ForallInDef RecordSet TypeMismatch
be92026a5c749e24420c26913d3c7215a9619169 Choose RecordSet TypeMismatch
cad96ed93d032a3fd8332c9a7e3870644ed50d36 Choose RecordSet TypeMismatch
a685a80a85aa697e815cc7809ab2e5e8b016d0bf ChooseInDef RecordSet TypeMismatch
83ff28874664ea175be6954c5d1c8267dee26ee4 ChooseInDef RecordSet TypeMismatch
a373227c42215f4980e7b3a7b80a25498e80fe0e TupleEmpty RecordSet CanNotBeCase
f9c7f4e8fdd37e9d320d6babd5094305a993befe TupleEmpty RecordSet CanNotBeCase
f55aea9740c21d2bd88c42f46ec3e1210707fcc7 Except0 RecordSet TypeMismatch
d124da9e915b39d274d5b875bc1d8a38dd181774 Except0 RecordSet TypeMismatch
4b42d55767b025a33b9f1f980fb615382505a0ad Except2FunTuple RecordSet TypeMismatch
348fc7abb7dc3d9a271d611deeca45e8f1f3d9bf Except2FunTuple RecordSet TypeMismatch
86717b3a5ceeca1bc17a64676c3a7a23c2c51c37 NumZero RecordSet TypeMismatch
9b6f177f65c6accc310760b3ac2d09a823daea4d NumZero RecordSet TypeMismatch
a490f1293fae7ca55a2e0845a1d8227961475389 NumOne RecordSet TypeMismatch
933090eb3cdf0542270566a2beb94a991def0ca3 NumOne RecordSet TypeMismatch
c52e6c041cf84ce49743137d7448fdabe43fb7be NumMaxInt RecordSet TypeMismatch
9e934358f278422b13f75a42bc002563592a709d NumMaxInt RecordSet TypeMismatch
b424d3b3f2a34b80316def05a774275ec2276176 NumUnaryMinus RecordSet TypeMismatch
7fc8f4f237e12fc177963fe499687a73c38948c9 NumUnaryMinus RecordSet TypeMismatch
425e4a5bf7566bce083f92085b385493e105604b NumPlus RecordSet TypeMismatch
67a187eec901b9ca81a160e00f6750a5999f6b77 NumPlus RecordSet TypeMismatch
5d815600a137761ca7e6ce2cc0e0b1272cbd7512 NumMinus RecordSet TypeMismatch
4dd1a248212337aa37c70f4c3e6d62c2f3da7686 NumMinus RecordSet TypeMismatch
147a0ef72efcc5d3b719f9b175ee3e22467f31de NumMul RecordSet TypeMismatch
b51e7243f3b0325fd277c0fe808894329f4ff123 NumMul RecordSet TypeMismatch
25b65d44e1d799a0b98b020dc8c9bd5d2ca83b92 NumDiv RecordSet TypeMismatch
44c97d63237046dfede57465069ec9d7e1255069 NumDiv RecordSet TypeMismatch
e9ec3901b8a0def6e1e876de4bec87c49150adb0 NumMod RecordSet TypeMismatch
78ed1c749d9573ebc0da1949acbb175d565ddc54 NumMod RecordSet TypeMismatch
d3f1b2d104af790fa2802391df70b5a589aacb93 NumPow RecordSet TypeMismatch
f4108a5acbfa5a59cb996aa7d1d193fc3486091a NumPow RecordSet TypeMismatch
14ac3edc490ae81d48088d7551933f4e18956c5e NumGt RecordSet TypeMismatch
79bb2afdd2bf1b12c69e99f009d903cb6fc560e1 NumGt RecordSet TypeMismatch
4166e02e88470165f5e588fe824ba950c779eda5 NumGe RecordSet TypeMismatch
7dae87aa8c3f90724934604a0f1a7f205d2d7839 NumGe RecordSet TypeMismatch
5f25fd1dfe84c411f27e30729a566d2bef41b81b NumLt RecordSet TypeMismatch
4f6409abad2b2d81335cf3cdf24d879c367851ec NumLt RecordSet TypeMismatch
8caf3eef25ebce3e740ccc773fff1d9e197fc073 NumLe RecordSet TypeMismatch
91e0311b9a73f38a3bf1094ef3fbb278324b32c7 NumLe RecordSet TypeMismatch
2af4cb858c20afc600f09a7c3f3f90057aff3198 DefFunInDef RecordSet TypeMismatch
05825e8510f1701e3752d401ac65f9d293f158e3 DefFunInDef RecordSet TypeMismatch
7986d690e5ebaaace7b3089f64781a7ca6eb047a LetDefFunInDef RecordSet TypeMismatch
2520a9ee84c283d3bda5a0b3a7204b0418c0cc28 LetDefFunInDef RecordSet TypeMismatch
8e9f027191e55a22ff5c03941eea32d95f9ae052 ConstantModelValue RecordSet CanNotBeCase
6f5a64e7c4a0bdab05b9f9b6875c12c3f125f838 ConstantModelValue RecordSet CanNotBeCase
a29f652b944a3e1edc83575f4099ce3173dd0aa0 Enabled RecordSet TypeMismatch
089f4a6ab3107e3c34a252b7007ffeef598781ed Enabled RecordSet TypeMismatch
e8c0a621f310bcb31038fd66804ddf983215ff6b Assume RecordSet TypeMismatch
17dbe9419c9e42e73b81b2c10d125236798031a1 Assume RecordSet TypeMismatch
9a7bc4f0527e9da646733bae2f8f58a68a7cffb7 AssumeNamed RecordSet TypeMismatch
4a8b2d8ca1a55ce421f6288afa93cf1b2ac0e8ef AssumeNamed RecordSet TypeMismatch
1ccfe2767952d1479ecb7fd620a326fef6b28626 IfCond RecordSet TypeMismatch
716740a6aa42c6465907c9bccb18b5ea2fcc3e8b IfCond RecordSet TypeMismatch
17d6acf9ce1d1e853d4337b348a35207c60296a8 Domain RecordSet TypeMismatch
3a636a3530c43f7be8272797732b879146252479 Domain RecordSet TypeMismatch
650a6cd7b8afc794b8f48d0d008c141ec3e36211 Union RecordSet TypeMismatch
5756a3ac0fa21f94e92207ddc541cba0254ecab2 Union RecordSet TypeMismatch
bfbbfbf01fa23633fc28f59d93b008f410fc6006 Equivalence RecordSet TypeMismatch
f3bba117dbff3144322c98349b36b67e9e3f70ae Equivalence RecordSet TypeMismatch
18e13ff49b790d5f9f9029eb85e3419c155f7bc9 StringEmpty RecordSet TypeMismatch
9886f9e085abac1f2f205c965ca6750f6da65ce8 StringEmpty RecordSet TypeMismatch
f564adf844837b7bcb662de56377d3eaffcc081d String RecordSet TypeMismatch
646fb0042db215f6561c961ea30a753cba190e67 String RecordSet TypeMismatch
dd2fba980d2f4e9ba1a005488abbac4f91264f07 SeqLen RecordSet TypeMismatch
890d196323b01fb083a9f3cdc701e1cc4e0e61b2 SeqLen RecordSet TypeMismatch
715340c58ae35d7180b4f9a6a205342ab6def38e SeqConcat RecordSet TypeMismatch
920d530c0b967fb49258efd096368ec032f3b2ca SeqConcat RecordSet TypeMismatch
74ec545706b594db6d6d637d67f10648cad5e2f5 NatSet RecordSet CanNotBeCase
b1094c7f328f7dee1872978d4780480a428ae715 NatSet RecordSet CanNotBeCase
afb2cd68153bd147bdbc58fe177ac4488ce7fc71 IntSet RecordSet CanNotBeCase
be45de9b0a0b3021bfbb1f55aad6a87f598608cc IntSet RecordSet CanNotBeCase
b44e491baf164cd012a4a764c0e61f4c8ef0a3a9 StringSet RecordSet CanNotBeCase
ddd1eda7c28f8c2dd4cc05e3aecc50bbbf8c93b9 StringSet RecordSet CanNotBeCase
035b2bb006b0583399289ef292e85f8c232c8c8f SeqSelectSeq RecordSet TypeMismatch
0a08c0cf773e3b8130c08f5a41af397ce16ff185 SeqSelectSeq RecordSet TypeMismatch
8373c09d5ce4766053f5591696db68f78b1c5fff SeqSubSeq RecordSet TypeMismatch
b5d8261bebd92ab684dd92b1f1709ed4b33d5561 SeqSubSeq RecordSet TypeMismatch
7cd964ae9f129d26ef864f8a4e42c3e146ddc824 NumRange RecordSet TypeMismatch
f4f109f5e0457b2ac6ec35195e8157ffa762e766 NumRange RecordSet TypeMismatch
2c90067d4312114b71794372f93e7602c3f6dc26 TlcExtendFun RecordSet TypeMismatch
dfa7379a2c7a01b513758e63849b20eff53c812c TlcExtendFun RecordSet TypeMismatch
ea4c69ceb9284cf69999b823a6b6a2a8e204c2db TlcSortSeq RecordSet TypeMismatch
3eaf058cc1c72b4754dd4eda0732db073fb36ce0 TlcSortSeq RecordSet TypeMismatch
61ceeaf5baa7c6891c32362217f339e3d7c97a1b BagBagToSet RecordSet TypeMismatch
77c41d41269be6f8289c4f6bd8137253951bcb65 BagBagToSet RecordSet TypeMismatch
f1235cad02101e854ce540143363e8a2f947aca2 BagEmptyBag RecordSet CanNotBeCase
171aa9747f3fee96efa165195d05fca8b3372049 BagEmptyBag RecordSet CanNotBeCase
467b3bcac9123006a94a926c1cef711c826d6593 BagAddBag RecordSet TypeMismatch
97343a2b01fdba19b3370bae142441200f2dc071 BagAddBag RecordSet TypeMismatch
8b5305943326ef0eb67468eefec4c8f2bd8b53f1 BagBagSub RecordSet TypeMismatch
fb62a04ed518ba66eb5080e3152ed94371939470 BagBagSub RecordSet TypeMismatch
9c7a60c4d8d8a31ee283cd37b6cee504f132a5d7 BagSubsetEqBag RecordSet TypeMismatch
5aceb95713d4a5c64cd2e8800b1d2aec9355fbda BagSubsetEqBag RecordSet TypeMismatch
afd5f956afb0db58229041a7ad623542b18033ae BagBagUnion RecordSet TypeMismatch
898222253c1924e8556689fb1e5f35bd729e24ff BagBagUnion RecordSet TypeMismatch
1aa61c42770904c8fb61d79625406af419c07a41 BagBagCardinality RecordSet TypeMismatch
fa4873e84e984b5852d0f786efb5bbf199f7a3e9 BagBagCardinality RecordSet TypeMismatch
45b8c471016278a654d8aae9efaf6880255c81be BagBagOfAll RecordSet TypeMismatch
518bfabfa37b60231944d0ebdc9ec55cfd999e70 BagBagOfAll RecordSet TypeMismatch
24bd76582908aecf2a0cf3b866ea88c23e5031d0 BagSubBag RecordSet TypeMismatch
a8497b866fcbedff45ddbe7f96568af2999150b9 BagSubBag RecordSet TypeMismatch
5aa3b8914357d4999055ebbc0969de95e872050e SeqHead RecordSet TypeMismatch
a0afcf245ab3804d5d2d34810380d303766f527c SeqHead RecordSet TypeMismatch
f77bf77a966f746709586e11766f6c4b56d89777 SeqTail RecordSet TypeMismatch
2d8d6830eb5296f4730e66f3830bcf993fac0d02 SeqTail RecordSet TypeMismatch