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 case feature Forall

Id Case Feature Plug Feature Skip Reason
60517b4975d484d598e4c23f0f898b64801795d0 Forall BoolSet TypeMismatch
26e9f83403129e0efd19439de515fa6c182a0092 Forall BoolSet TypeMismatch
ba1cd1d1c03f1ed1c7ff9ac08095dd212d1d35a3 Forall AndProp KindMismatch
f7640c8951f7e621191985b1931b4ea8ba76715a Forall AndProp KindMismatch
0afd28bdd73fc10af3381a9d9cb7bb48187b8ed0 Forall Boxed KindMismatch
c9b9400223f7fdcf40cbb445af4b32b00655b62d Forall Boxed KindMismatch
d4ea2cb9d9b53fd1e7c5659c326cfcad13df40e0 Forall SetEmpty TypeMismatch
77e1a65333512b97b2fd99beaeaa60c5c5c8830e Forall SetEmpty TypeMismatch
b1a107f2cd6aadfced4ef5eabe559536f6c15a3d Forall Set0 TypeMismatch
50735c8da77b85492244a7242ee64d3f6ae31391 Forall Set0 TypeMismatch
dca7a20508298bca9934ff362faf1069d81a93ce Forall Set1 TypeMismatch
1081a47bf4bb9a70ad9c66d837766148a2f5c8bc Forall Set1 TypeMismatch
f3e797fce08f2742c55bf0aef7f1fe1205a99567 Forall Set2 TypeMismatch
b0052fc036bda996198fe0fe3c807dfe41f5a647 Forall Set2 TypeMismatch
e158e59a1110aeb6f1d8ace7f3a4750e55f551c1 Forall Set1InDef AlreadyCombined
7db74d917dae8cd1632afe52ebeefa9ec8465938 Forall Set1InDef AlreadyCombined
bb573461193425edff4e6edea3062aa57d2d184b Forall Set2InDef AlreadyCombined
f8cfe580aff9f30e65347482f27c5e3828612d11 Forall Set2InDef AlreadyCombined
eae2fdc6ae9fff5ef4deb0b103158489609b6063 Forall InDef0 TypeMismatch
0b3a84f95eedca36f18a07d3fd2f56fc802a2e0a Forall InDef0 TypeMismatch
7d02a44910fad4ed5ec9321b08449da58b7f7cbd Forall InDef1 TypeMismatch
2ef899b32fb7022753a7d9b252020c161a8ef764 Forall InDef1 TypeMismatch
9ed769ab5a040e6ec82b0da130aac341429ef024 Forall InDef2 TypeMismatch
c96f07776617555d4cc55ea4745fc1ac0728a1ed Forall InDef2 TypeMismatch
a0be9c983fd37a1b1ed4fe173e92c2764eb01c69 Forall Fun TypeMismatch
a33ade03a8c4d7ecb5dec99a6f60c183480617ea Forall Fun TypeMismatch
51e00d8ca9c587f76b413f4b31375b7b6312b0cc Forall FunInDef AlreadyCombined
fafc13913ce86b20531e5e7618ca235111ecd758 Forall FunInDef AlreadyCombined
96a73268aec8ede29be5bf420edd49fc38f6dd2e Forall ExistsInDef AlreadyCombined
52d5d0925d3ea26f6ac958a6ee371ee4f7281944 Forall ExistsInDef AlreadyCombined
23258866887e8cd5f02dfad212e31a876a926d22 Forall ForallInDef AlreadyCombined
315c5aeb6d0f489dd340d4e0ce9e79ade41e7e42 Forall ForallInDef AlreadyCombined
201226d1a3a1fe498e4d4257c8e240268d498511 Forall ChooseInDef AlreadyCombined
cd516ed76501839dac4c076b195603b93fcb1673 Forall ChooseInDef AlreadyCombined
2e0f62966e2a2d44ea99c2c9c5a6ac8906e19a1d Forall Record TypeMismatch
1422a2c20ef56fd87bbeb8477be0a34b964460c7 Forall Record TypeMismatch
83857745577929c035693d591f72c8c55c160a11 Forall Tuple TypeMismatch
649da147b0c7f2bd0ebb348fdb74561e654b5f9f Forall Tuple TypeMismatch
e69259901f93c10ecd27d6edf413cb207028fba9 Forall TupleEmpty TypeMismatch
3a48d93c435f7a10507c5cbb98b0d93b41e377a1 Forall TupleEmpty TypeMismatch
129bb97949d3c7122260eda3ebf8a10b12e631b0 Forall Except0 CanNotBePlug
c4b376871cf445f3a125882c5528b213bce5d8f7 Forall Except0 CanNotBePlug
e3a72cd6cfeed7b67e6e7ee02de1d57a6fe4e5f5 Forall Except1Fun CanNotBePlug
1f751cc580690867ecb8b4572df3f9118c3e5a1c Forall Except1Fun CanNotBePlug
eae552358a03ee4da9f1cd53fc1b9eac4116f346 Forall Except1FunWithAt CanNotBePlug
d429ff563b3789acddca53183077525b34374c98 Forall Except1FunWithAt CanNotBePlug
8c9d006dfb5de3530762c0dfa1a6862f46c96165 Forall Except1Rec CanNotBePlug
1935f78fd21569072ee1e6c9942e175d0175cb91 Forall Except1Rec CanNotBePlug
839a0ed0155ceaea937335e7b0f7907e6cdef364 Forall Except1RecWithAt CanNotBePlug
1b0cc08686519fb8d219f873d79622a4d8928792 Forall Except1RecWithAt CanNotBePlug
f4b2e30c824f48e1cf7cc43548a3dd4da639290d Forall Except2Fun CanNotBePlug
c2566f1a1b41c29f70102c64321c076105e63efe Forall Except2Fun CanNotBePlug
31fb6b60124c0464facff71295b9bbd058dd7daf Forall Except2FunTuple CanNotBePlug
36272d4f0046d6cfa6abccb2cc2d78bfb4d0fdd0 Forall Except2FunTuple CanNotBePlug
220c8a6f117529a58ddd59995769de6594985e26 Forall NumZero TypeMismatch
15a35af7488660bbd2cd06e11f98a131156422d6 Forall NumZero TypeMismatch
2535d03bddb3af2fb9f6b97434926ceff1f89060 Forall NumOne TypeMismatch
7d12c79c718aca11e4ef742b49e8a9634e7b88f5 Forall NumOne TypeMismatch
9e98aee22b36abfbdea454415e75a1fecf8673f8 Forall NumMaxInt TypeMismatch
e44580076db94a03fd13c32dd99a407d60aa5782 Forall NumMaxInt TypeMismatch
a621d2324086159655097f7aba273b6dc04e8286 Forall NumUnaryMinus TypeMismatch
6f372c612c34718c786b6bc6b73180b6babe34ab Forall NumUnaryMinus TypeMismatch
8b807c1784ff9b7bbd7644fd0bd51bb7d144a789 Forall NumPlus TypeMismatch
44e96dd5eb0cf6852c1ee6da0e3612b3aff66b3f Forall NumPlus TypeMismatch
98fbb15509ff6c4af064eb39cf5592a07d696a85 Forall NumMinus TypeMismatch
4c0630673dd90e14066cd5acbf9146e5f738d670 Forall NumMinus TypeMismatch
4f1838c49133395f70441d723a8cc73f91bf0f08 Forall NumMul TypeMismatch
6d48e569a16ed0f69ea09fcd75a6fc5e80e8ddda Forall NumMul TypeMismatch
15d70fc4c8cf704b494239e914c80d43ace3227f Forall NumDiv TypeMismatch
a2e36ca524a02795e31e9da077a43a9c915b94a1 Forall NumDiv TypeMismatch
2b39d26f0e88618a68cf8fb36db619d6c3090832 Forall NumMod TypeMismatch
0d59407df938fb492fd9910fd81f533d82b0e28e Forall NumMod TypeMismatch
894b10842a881eaf0a9900b71ede8480df8e21f3 Forall NumPow TypeMismatch
08adc347b342e627f8f0e33baa48057925b3c26b Forall NumPow TypeMismatch
200af449bf4bf2bd9316ccb4632a3d68afa02fbe Forall DefFun TypeMismatch
82c246924f87889deb4b2cd19f686c1a2ebcf1f3 Forall DefFun TypeMismatch
ade45582be5fcbd09aac95a1e7032c7bde7a5350 Forall LetDefFun TypeMismatch
f064da6264f784de9d70b52510a5d1af6d3abcdb Forall LetDefFun TypeMismatch
447e8563b51d9183541d4e58b63e47b0f14fb24b Forall DefFunRecursive TypeMismatch
806004883cdc17885163c7a9907f4af51570f5c9 Forall DefFunRecursive TypeMismatch
4019f6a613c71d5565fb2ad9bbc5789d3638272b Forall LetDefFunRecursive TypeMismatch
16cc7a833a1488957f88348af88c881fc8b076a4 Forall LetDefFunRecursive TypeMismatch
5454ae8fe8cc8b7e798a5cc85f8097e1aed218e7 Forall DefFunInDef AlreadyCombined
f87bfd0d9c5db5b23ec07d652eda9bdb0733e74a Forall DefFunInDef AlreadyCombined
f3d4fc58a712099e17a0ed5f7fd6e5efe3a975f7 Forall LetDefFunInDef AlreadyCombined
7972a0b9d1223be570f056c6938a829630755860 Forall LetDefFunInDef AlreadyCombined
15e37cfe028d0242410f5d21c6802d02225ac61a Forall VariableViewExclude VariableExcludedFromView
43dc0cc920241a418d6c97c89de8c1233c88a752 Forall VariableViewExclude VariableExcludedFromView
28cc9c49c65f0a31a9fd9eafda306caa9ca38b29 Forall ConstantModelValue ModelValueCanNotBeUsed
bf50796dd34f62a2a8f4b37ad6683c4c4c155882 Forall ConstantModelValue ModelValueCanNotBeUsed
f9bf974cddd922fe87297e0e854b40c850cf3529 Forall Assume AssumeIsNotEmbeddable
eb7c2a4c784b0667c1b685719d0b92aaf47a13ca Forall Assume AssumeIsNotEmbeddable
68481bf6cf2de76d14cb8faedbfb69771111db9a Forall AssumeNamed AssumeIsNotEmbeddable
09e79bc84d34ef5e67c10f9d76600bfc7bb14ebe Forall AssumeNamed AssumeIsNotEmbeddable
43cdc43acdc3b4f8eac6cbdadb950dbaf3fd7599 Forall Lambda TypeMismatch
1e2b300271816ffcb374ccca8714ca15de1522d6 Forall Lambda TypeMismatch
0a829e8afaf7f3e20bbe3c265aabad11b45e3df2 Forall Cross2 TypeMismatch
52c1e9d83656f2f0119f742a4b563871617b6d68 Forall Cross2 TypeMismatch
152f6749088723d392879f54722f83055dd12c0d Forall Cross3 TypeMismatch
1424dafe3350dffbfc978e8e1ba0f5e1eb05d579 Forall Cross3 TypeMismatch
3f6355c4d3b7195c6074dd943a59d9ee04f47d43 Forall FunSet TypeMismatch
dcf71232c46a9af22e09f5eca7b60ff3844ac63d Forall FunSet TypeMismatch
d17bfe077e0279b1617ec4ae6094076f68a5e1dd Forall RecordSet TypeMismatch
bde83752b1371eb2781fb300ecd8ba4da62ae7fa Forall RecordSet TypeMismatch
b6addedda69335a5813f125ee78250144da787bd Forall SetDiff TypeMismatch
fcd906fce569fb077f4a91b373e64cbf58473816 Forall SetDiff TypeMismatch
5010400b65d4af723456ddafa1612a6f55ddbd01 Forall SetUnion TypeMismatch
0488279576092473e99f7344a091beed615dac48 Forall SetUnion TypeMismatch
e8cff26f5197e7863eb7d87d2b95d5033279fcd9 Forall SetIntersect TypeMismatch
6f7c9211f317112e2ad1f6a7ac01360d6d63c663 Forall SetIntersect TypeMismatch
ec60f42d7f05cfe8628e713fab3c7c5ac09f7854 Forall Subset TypeMismatch
7d338e327faaba6e172fb8977edcb2ced61cae16 Forall Subset TypeMismatch
513cb6e3a15b31f745073ddeff0508af4559e84e Forall Domain TypeMismatch
1256929fc3c501a6ad15f014a6bc180652aef5df Forall Domain TypeMismatch
3a68594e24f50a34d89ff91c0138844055726529 Forall Union TypeMismatch
e24aca1158df3ba1cd03a5696c77b51fce2f0eaf Forall Union TypeMismatch
e58659b15de2bcba904d6bc83b7b74dfd0602ecc Forall StringEmpty TypeMismatch
85edee099587835ca5cd86848542b7a95700f543 Forall StringEmpty TypeMismatch
a7ab6a87b9c1353d1c5b30b2fed90fe878bd4978 Forall String TypeMismatch
564e62fc3d71d13208946060c156c963b872e6d5 Forall String TypeMismatch
ce9e766bb37f0c4a8908ca477ae38cc4c00048a6 Forall SeqLen TypeMismatch
3bd8743108244623fe37f450a1727d87af1364d8 Forall SeqLen TypeMismatch
b9f3841e158f246b8552164336b877c5906d7997 Forall SeqConcat TypeMismatch
72917ab3e5e474becc9a94d7d8299b4652bd8e0e Forall SeqConcat TypeMismatch
bcd46cc7dafe7b6940de19ea27987d01bf764b24 Forall SeqSeq TypeMismatch
7363adf1620e76d5af2b9121de715f3897051478 Forall SeqSeq TypeMismatch
505b671f59a9692b2a704f7490648d9029f0f3a4 Forall NatSet TypeMismatch
2914090ca59e3be7297d0184141071a39b73c993 Forall NatSet TypeMismatch
8079ecdd069f7aea852bf7a8af04c6560e60720e Forall IntSet TypeMismatch
974e16049f509b38712291d18e91abd461ed460b Forall IntSet TypeMismatch
cdecb6bc6adcc827587590b3c2004b0ae484bbaf Forall StringSet TypeMismatch
9a9c21a93f60480498b9cbb3a13b7f95b04cba0d Forall StringSet TypeMismatch
721dacf7ea95c127eab8c08ddc84d5b207292f8b Forall SeqSelectSeq TypeMismatch
0eb36ee87733c0945207367184e8a08a03bebba3 Forall SeqSelectSeq TypeMismatch
f5060a44618eb4afb63a9eea0a3a980e46384eb5 Forall SeqSubSeq TypeMismatch
2a1fabfc9ec4029682b5ecf0fcd980974f307747 Forall SeqSubSeq TypeMismatch
96d9114c5b9da7f548c7f11c0d613301bed5a91f Forall NumRange TypeMismatch
ba07bc574e66ed42792143eaa725e23f584ecbff Forall NumRange TypeMismatch
fb9e7cba97f842cf6860419e128d0344c473e8a5 Forall TlcSingletonFun TypeMismatch
60c66d0488a41a464114283165096fb70c6bd0cd Forall TlcSingletonFun TypeMismatch
8398cb57a615c1fc1654fd2611cd296953fffdaf Forall TlcExtendFun TypeMismatch
67b22db63d76b2f05bb2df6ab59da4c98ec28896 Forall TlcExtendFun TypeMismatch
4a342218be6e3f0e7224f099e5a7ffa34c97734e Forall TlcPermuteFun TypeMismatch
397220b03b66bfdfb6a04c61474d765819e554df Forall TlcPermuteFun TypeMismatch
491e3ecda47e76f1392ac58220b2cff9d7332189 Forall TlcSortSeq TypeMismatch
5b6d3a8410ef2bdc994ccdd14c6cf6813b6b45b3 Forall TlcSortSeq TypeMismatch
d7665d4551fb0af9f54d115b1b554a07664e7a7c Forall BagBagToSet TypeMismatch
a9d4c5e534dc9c77d379b88169e44b68737dcae9 Forall BagBagToSet TypeMismatch
ca083bae76a1122aa9dc7670ce1a6f9f6a9ae1bb Forall BagSetToBag TypeMismatch
62126bd804e8811d2ba99db608bfbb68c8c4003b Forall BagSetToBag TypeMismatch
ee4875e7afeffbc84af72b615074c47ea0faa9e7 Forall BagEmptyBag TypeMismatch
a26cef6769130503eef2e4792ef99be7fd4f1f9f Forall BagEmptyBag TypeMismatch
62e51b79dce206e2885080e3c46afa52ad6cc04e Forall BagAddBag TypeMismatch
f36d9c253457f9d9ec7c1b723713c1a4a01b1f58 Forall BagAddBag TypeMismatch
a9512595072f9f578dbc9a72001e92d7f082de6a Forall BagBagSub TypeMismatch
4e060bd8ae21fcc10101e77a3b85f6221a7c72a9 Forall BagBagSub TypeMismatch
3c73598f5b22b92087162b9e8d7e159f90eb24c6 Forall BagCopiesIn TypeMismatch
e67edf690723dc2b82e5f87528b16c1746300d50 Forall BagCopiesIn TypeMismatch
8d12561d70207d2b4ba3378e083120a641b13176 Forall BagBagUnion TypeMismatch
a408a6a2a45d2f697127ffaceeb5c8392159d123 Forall BagBagUnion TypeMismatch
909c64ce37228e11e26ff4e6af3945bad3622c32 Forall BagBagCardinality TypeMismatch
6dfa3c6b4239202864c211efd4e67730970fb8fb Forall BagBagCardinality TypeMismatch
ee434ecf029e5bc0b044f73153f775ca5116b1fc Forall BagBagOfAll TypeMismatch
1ce5672a3852fff900dfc6c375604097cc7e4334 Forall BagBagOfAll TypeMismatch
ca007a32ea302401404e366c094f7191fb6c92ac Forall BagSubBag TypeMismatch
f59cfb7f5be572f2b400ffd43c0fa07917da5082 Forall BagSubBag TypeMismatch
7f91c6aa06fd73b3e95dab91c1c6ecf812d3feb6 Forall FiniteSetsCardinality TypeMismatch
955e3f33838e658c90aeb9fda81ababb69ac4944 Forall FiniteSetsCardinality TypeMismatch
f75a1341a35fa990518c45832f360cdf177e550a Forall SeqTail TypeMismatch
2567b20a470fe34d71a076f9c6e5cb25161a4113 Forall SeqTail TypeMismatch
beeb0b06446b7c1a8fd4b05a17254cb9f30e2e4a Forall SeqAppend TypeMismatch
787a01e7d15f1fe69fdeabd3d812679913a7a83a Forall SeqAppend TypeMismatch