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 SetUnion

Id Case Feature Plug Feature Skip Reason
80e93f29d893c57106595fb2a2774e1516ad3a56 SetUnion BoolTrue TypeMismatch
2a7d89ea77892a1851b58e7502b7aaa55ddb95a1 SetUnion BoolTrue TypeMismatch
6abe3f8e29901d1dde26e9e283bb6b45691ab78c SetUnion BoolFalse TypeMismatch
4d4c0bd3d360b4fc3d0c5cbba013a961013f2786 SetUnion BoolFalse TypeMismatch
59ed7739c27ab71c426fecc12327e357820def43 SetUnion And TypeMismatch
8df9805a51a80b96839a58994a68c4ab671ad346 SetUnion And TypeMismatch
25af84f87c7f1ac9db886b8f357abce0e9189895 SetUnion AndMultiLine TypeMismatch
c93a0da1790a22044813a26ea655610d6b389d81 SetUnion AndMultiLine TypeMismatch
35d0169d59afa39282b49a74940226166a65f0e2 SetUnion Imply TypeMismatch
7e9497d97809f3ceb9e81ad34b34960fb0f8fa5f SetUnion Imply TypeMismatch
cc785f8c2ba984c67fc8e3b59eadf42a773fbe9d SetUnion Not TypeMismatch
ee44609c1e5f1b118bc44cecf21144ca72cf70f1 SetUnion Not TypeMismatch
f3c772f7978efbec4bde971876aa7701d7d49f67 SetUnion Or TypeMismatch
ca79a93a30f4f9b07adae5d5d88dcbf12bdfe928 SetUnion Or TypeMismatch
574c9351cf619bdc4f5fae9929a400e045dd8a33 SetUnion OrMultiLine TypeMismatch
ed17a5f2a44bd492b3bdc6f197e717abfc4a9718 SetUnion OrMultiLine TypeMismatch
5a13c83079046a44043f68606a4616b471180e9a SetUnion AndProp KindMismatch
e0180925b1cc4a1550d25f988109defddf29f8c8 SetUnion AndProp KindMismatch
bbd3a4bfac3f0e13734e7ee0789e6266b4bb81dd SetUnion Boxed KindMismatch
f21713260f9e3da19828239aef1f1dc660c9a93d SetUnion Boxed KindMismatch
f7e63a41be463d2d6e68baa5f2eeb5e93c99c50f SetUnion Eq TypeMismatch
8b3028fabd1c8a51d4eef3b0dcdfe930221421fc SetUnion Eq TypeMismatch
afabb6e334baac31e116678c01aa96c9fa55e403 SetUnion Ne TypeMismatch
792a03af877fe681a055240c9072772696041211 SetUnion Ne TypeMismatch
1728ed64700c445b9b88a56e978ec4f3ed1c450b SetUnion Set1InDef AlreadyCombined
290d2b9f4c1b0eaa2d8a84ceb7d2ff1bdeff3210 SetUnion Set1InDef AlreadyCombined
2ceae95abd9af3564994e3ece7bf551bcd986a55 SetUnion Set2InDef AlreadyCombined
04fbea4a629500cc572131f773bba09076dd0a24 SetUnion Set2InDef AlreadyCombined
b12d6ec0c6f588cbae6f23cb106b3c67b99002c4 SetUnion InDef0 TypeMismatch
35705b4fa0ab5f5a97fb9f3be63ffd88ef331a23 SetUnion InDef0 TypeMismatch
1bcf8d0210b3427f90a139540cd9f804b6ec4c0f SetUnion InDef1 TypeMismatch
44cf9dc1c3af216cc646d31f27d490d24598e648 SetUnion InDef1 TypeMismatch
78cebdccc49f9afe32bff643b3c0ad6000df3cc7 SetUnion InDef2 TypeMismatch
4523eb4318e3d5ee31e93846b73bb3baa9a02de6 SetUnion InDef2 TypeMismatch
11c9646cd32980bea37cfe66d0c7cdd6375c66d5 SetUnion Fun TypeMismatch
d50427a853d6874fefd16f9a5ea197dc382c59fc SetUnion Fun TypeMismatch
6657af78f5233c97c1b626d1fa61174edc4312a4 SetUnion FunInDef AlreadyCombined
8a9999640d63ee5b55fb84b6334fb6a15fceb705 SetUnion FunInDef AlreadyCombined
5048c4a6e52d8616edba8bbb20e831d053c9497b SetUnion In TypeMismatch
fb87cdef268863f666766f8263394276293676f8 SetUnion In TypeMismatch
f1e6359817aa7756c7c53522e19d642051473318 SetUnion NotIn TypeMismatch
6ea6f30f9930ae568735887e48f7e3dec99292e6 SetUnion NotIn TypeMismatch
1278a5709168d9aa362e52a1f808f62eefe9f620 SetUnion Exists TypeMismatch
a7d4ca113b37d327c1a39254e9fd5c7a6eb913b5 SetUnion Exists TypeMismatch
c75faa1d40ae09998089abb25d2e7b6e8bce569c SetUnion Forall TypeMismatch
46781204bdcb58aac3c4a3532e5c7ee0925c93bc SetUnion Forall TypeMismatch
676f5a7a705a4d908806c388a8e1c62f3d80d283 SetUnion ExistsInDef AlreadyCombined
46bac24bf024382ba91b351549bdb782d8950ee3 SetUnion ExistsInDef AlreadyCombined
f4281c46952b7e09f5fe8ac4aca0eb05fa889b0f SetUnion ForallInDef AlreadyCombined
1a469d873ee4b85d172c307712890143567199af SetUnion ForallInDef AlreadyCombined
82793ca02b7a10d357cbd9dbb417ba15803c94b1 SetUnion ChooseInDef AlreadyCombined
18db6b1e4b986ebfa11d2212a72ea4c888730118 SetUnion ChooseInDef AlreadyCombined
93f091fe71090dc6ba4817753c75324265f41f15 SetUnion Record TypeMismatch
37b403f9d78ebcb7f8a3a73b75033aaef0b36d78 SetUnion Record TypeMismatch
b2cf0a5ed4b1266b1719fd3c542ffe09c933b1ce SetUnion Tuple TypeMismatch
93b2e375d40c7157e91bd6eb02c4eb5fff5281bb SetUnion Tuple TypeMismatch
13b78f3c9691b365c1cb47f5af8068518c2673df SetUnion TupleEmpty TypeMismatch
40bf95590732eadea847c89788d3fb044adc426c SetUnion TupleEmpty TypeMismatch
b8b5aecdb236c050fe5ab7a27cdd6e6b3217e538 SetUnion Except0 CanNotBePlug
8aa446c10849fa97f094d7a0928bcdcf4577418e SetUnion Except0 CanNotBePlug
2a50ca9622788a95cd808a6c88121c1f33117645 SetUnion Except1Fun CanNotBePlug
c6486907e16febee2f11eac4c1e0e8e3c5d37f57 SetUnion Except1Fun CanNotBePlug
ea87400f11a6788f27001b95252e6e4a375f2d8d SetUnion Except1FunWithAt CanNotBePlug
b5d98efba0a50a659799623848c72f927d68f5da SetUnion Except1FunWithAt CanNotBePlug
de0463fb5e19004d81d5c67a9c3baded629ef74a SetUnion Except1Rec CanNotBePlug
17b58c28668fa5de22a31cc0e4d3c8ef11d663fd SetUnion Except1Rec CanNotBePlug
f351e2b9af4233ad72025a7383c04f1cb0391264 SetUnion Except1RecWithAt CanNotBePlug
ef59b4c48e6f1e58a113ea3927faeeb7e37bb421 SetUnion Except1RecWithAt CanNotBePlug
a2244e877ec7c64c46075dc26ebcc4194dc9b086 SetUnion Except2Fun CanNotBePlug
89183cf177e12ae8f8595607ef84db07991937fb SetUnion Except2Fun CanNotBePlug
3ece44ce45b92634b652f9b3e7819b93c4dd0197 SetUnion Except2FunTuple CanNotBePlug
b4b26149e5c7e9698e90d21de8b210ac648d5854 SetUnion Except2FunTuple CanNotBePlug
3e60ec5dc8f1eb94e4d20c5ac1622a38b3c8be4e SetUnion NumZero TypeMismatch
b66b62f41435217f05f2e1e97d5df2c2022ee6dd SetUnion NumZero TypeMismatch
5a3abd549fdc3ddd0e42a5ce86d05ef5d1aacd64 SetUnion NumOne TypeMismatch
2c131e8bbe0020a1f3362a03dd2c00ee66d69b02 SetUnion NumOne TypeMismatch
0a648ef6a83e39b5c0863998f6f85cd604aa6900 SetUnion NumMaxInt TypeMismatch
95022fe5d53ac274fd79b8b0132365079569b3e2 SetUnion NumMaxInt TypeMismatch
cd39a0ef2c6358ff23c8a81e71040b28ab3fd86e SetUnion NumUnaryMinus TypeMismatch
a2ac5c6dd26e333c3bcac7d1f45a689d5b5d53de SetUnion NumUnaryMinus TypeMismatch
d7db47a07e1277a7d0fdd8f5dc9f7dfe0fdb7c64 SetUnion NumPlus TypeMismatch
4a1f7994db776a4e83be39035dcb3d5207fed5c5 SetUnion NumPlus TypeMismatch
6b4e7800ebe1530a7a53ced253358d780257aa25 SetUnion NumMinus TypeMismatch
f8ac2fe34216b56831f80b37e77556e822cf5ca2 SetUnion NumMinus TypeMismatch
471d6fd03a57008a187b1c96d5d4cee237e61722 SetUnion NumMul TypeMismatch
9d970842c67c1640320e6fde6e7aed358e7e99e0 SetUnion NumMul TypeMismatch
9400943f215ea663b0cec94b2a80c330707061d9 SetUnion NumDiv TypeMismatch
a830f8f8e43f0083fbbe12999123990d13b42b5d SetUnion NumDiv TypeMismatch
43d4db2b9e8d0fc57698b51f3a14d6f5994a1a00 SetUnion NumMod TypeMismatch
ff55364e35f2cfb9532de4b00cbf48ed372aaea1 SetUnion NumMod TypeMismatch
bf774133364d3eb34f9ac105101d46c79ed6d67c SetUnion NumPow TypeMismatch
dfe9b065fad6a1fc8a2a2f8ef721dd6144810c36 SetUnion NumPow TypeMismatch
8a6baa45b84fc4f79d1a8ff730842e4a9cfe7882 SetUnion NumGt TypeMismatch
39eb2fef2d2a1ff4dae9a0326e7cb9d8326b922d SetUnion NumGt TypeMismatch
f16407271259f9c1a84947e88ec2293209c7a427 SetUnion NumGe TypeMismatch
050f6bb9ea46e81141ab2db3f28f5424242399dd SetUnion NumGe TypeMismatch
2cbda967af5b63aff74859812d8cc4848d5667e8 SetUnion NumLt TypeMismatch
d004193df4c7324ded673b06e1fe3742b58ee175 SetUnion NumLt TypeMismatch
395ad4c07b7ac621176f35bc821e66d71f8aeca7 SetUnion NumLe TypeMismatch
a05f06ac2d7a80cbbb23ae3bf2675d3fdeaa0b3a SetUnion NumLe TypeMismatch
f7bd6e927f6fe4d5a308629166a307d4097a9bdb SetUnion DefFun TypeMismatch
0de8fe94b3b091ff13f0ac93b98ee041ac898992 SetUnion DefFun TypeMismatch
fd119ef249e26a433a01d7ca366f529f9e3948cb SetUnion LetDefFun TypeMismatch
8bba00ae22eaa953b5b4c9981b22876631e11a30 SetUnion LetDefFun TypeMismatch
8d18ea50f5b7fb1c566a0e7b11b37e267952faed SetUnion DefFunRecursive TypeMismatch
ce6a0583ff542a3c8d5fda83929ecdf48a912ec9 SetUnion DefFunRecursive TypeMismatch
d2c75b8330e3ec370c7bd470cf61b42127b456be SetUnion LetDefFunRecursive TypeMismatch
1ef7d2881a64a8c36293e9e0788b9b56e2fddd55 SetUnion LetDefFunRecursive TypeMismatch
b1c4bb7843c8093076f743110997329e5cf639db SetUnion DefFunInDef AlreadyCombined
0646488780bd4d243a0039428ee5a25e8109fd49 SetUnion DefFunInDef AlreadyCombined
4702ff84496ffa53ebcba86116ab8e91144f332d SetUnion LetDefFunInDef AlreadyCombined
205fd1ef5feb0824c549214e9867d5482db83a3b SetUnion LetDefFunInDef AlreadyCombined
69a2867055f61e718584832ea928508d81edbf98 SetUnion VariableViewExclude VariableExcludedFromView
abaa85fd1ce1d2e9f5f328c895adcf0bb9620b23 SetUnion VariableViewExclude VariableExcludedFromView
508d74b079ee60bbaa99a2543d9ac3b79c7f4224 SetUnion ConstantModelValue ModelValueCanNotBeUsed
255e266eaf90684591d9b31945b532bae69f6c7b SetUnion ConstantModelValue ModelValueCanNotBeUsed
b840ddb7a94843f82fa0ba286c56594218ee16c8 SetUnion Enabled TypeMismatch
2d0fa8cee5025ca7d15582fe8d4322af597b803d SetUnion Enabled TypeMismatch
189764298a39377e19496f66dce456db1e91d50e SetUnion Assume AssumeIsNotEmbeddable
a5251226c8429e85cb2986837ed259955b0b7457 SetUnion Assume AssumeIsNotEmbeddable
e039a670c1a91892f127c3476e031042d04e2a07 SetUnion AssumeNamed AssumeIsNotEmbeddable
d1ad3c6939b508b0aad38a66dadd942fc01af820 SetUnion AssumeNamed AssumeIsNotEmbeddable
081a0b8b1d0fa64a4f90f33fccd2a1f03fcdcac7 SetUnion Lambda TypeMismatch
08ec5c842ea0888533fd1b83c924ffe09cc150b4 SetUnion Lambda TypeMismatch
8a4938b75b949f16b4141c4e6ca3671940107022 SetUnion SubsetEq TypeMismatch
19d736384506b7ce8f3b6309e354fc9f9544dc9d SetUnion SubsetEq TypeMismatch
a74e0f768723ac7b7ec62187df22c8da91a1ba63 SetUnion Unchanged TypeMismatch
9c1ca08293f671239322f3548c6125e2fd05d5ae SetUnion Unchanged TypeMismatch
cfc5e5dd53985381286cfb50b013ff149d373669 SetUnion Equivalence TypeMismatch
5de9d0b6d5cb2588436af2e214b6ddb83829e365 SetUnion Equivalence TypeMismatch
904b9c6bb5825925a19e69e61855b7b04bb49d7b SetUnion StringEmpty TypeMismatch
70ba2cd6abd3f74e7436ddfa1856cd01ac32e7c8 SetUnion StringEmpty TypeMismatch
ebfd1e50e21162d99c41c7c371c894693d73c221 SetUnion String TypeMismatch
eda1120239439d06a7e6846f1e7871ad382be631 SetUnion String TypeMismatch
3ea065e11532c9a5e123fd0c43a78b0672d9508f SetUnion SeqLen TypeMismatch
e9af1c65546726b5d9464343bf83a363b7c1b59c SetUnion SeqLen TypeMismatch
6f12e7a2bdce2fa47d979dd2caed5990cdbc630e SetUnion SeqConcat TypeMismatch
0ffb61dec1564c103180bbb7842211dc91365364 SetUnion SeqConcat TypeMismatch
c8c58e2be86cab68be4493205c0d43872fc87654 SetUnion SeqSeq TypeMismatch
f203407689bbdc9ef1a3161e1e941ecec61b1553 SetUnion SeqSeq TypeMismatch
cdd773d27dff69f3c8b7410ea3cbbb2b1fc96e8f SetUnion NatSet TypeMismatch
e0bef7df39f70554b8a53528a82db12b111ea180 SetUnion NatSet TypeMismatch
67c46ab2bb92223974d5df33a7bbadfa2324da72 SetUnion IntSet TypeMismatch
c48ebdeefbddbff78d839eb8bc64c08464e8791b SetUnion IntSet TypeMismatch
c52a0c74e1fc4da7a5049a56b560bff66e8c3e59 SetUnion StringSet TypeMismatch
f5fc97a45f82644308c3636ab2c60de1838b8e45 SetUnion StringSet TypeMismatch
40ef8fe1daebc3e6dd203f14e2a5b523802c0334 SetUnion SeqSelectSeq TypeMismatch
a3ee28f2d55e04f22fc42e37b9aa14173b0d6ad1 SetUnion SeqSelectSeq TypeMismatch
b0d385898a4bfdb9960c87ca569ff6d104e24c58 SetUnion SeqSubSeq TypeMismatch
91f2d20ce1bdf32870f40626aaf430608fdc0854 SetUnion SeqSubSeq TypeMismatch
bce031e72a658d5a52bca2e9fac161ea486072ed SetUnion TlcSingletonFun TypeMismatch
12dff248b69f0ba83b9ef169a88b58460fa2213f SetUnion TlcSingletonFun TypeMismatch
dce755b434ea5de4fc65168376199cd54477467f SetUnion TlcExtendFun TypeMismatch
c23cad48447fcabb3e291910334f2b065d5d7685 SetUnion TlcExtendFun TypeMismatch
6afa8208e8fa4c685d8952e48e64a89e40f285ec SetUnion TlcSortSeq TypeMismatch
a78383a53b54b2ceb8685ed33a9b3970a7fdfa62 SetUnion TlcSortSeq TypeMismatch
632cfbd668ae1bd2d7327d490d42aaea9958496b SetUnion BagSetToBag TypeMismatch
1eee49874d502fdc12f2370eda5fe7d7ad663605 SetUnion BagSetToBag TypeMismatch
f2d83cab064a7f89b041a2bd58a07ab53dd20640 SetUnion BagBagIn TypeMismatch
17075a8886506a767d4978dcb4f3bea8c5801d89 SetUnion BagBagIn TypeMismatch
ff12e917492e806e7f4006abbf6705b23c1cea16 SetUnion BagEmptyBag TypeMismatch
5cd0c3845bcf70b3e900cc5f474469c41484bb2b SetUnion BagEmptyBag TypeMismatch
7096c126b4c4a78261a46980c7be6649db8331e6 SetUnion BagAddBag TypeMismatch
d0a01f1aff75ea74ab41e88a494584da3c7b87c9 SetUnion BagAddBag TypeMismatch
cc85629b9e10dbbc2181c4de99866ee4f0f6584b SetUnion BagBagSub TypeMismatch
d8891253a8059a3fe0e35a1d968813866bc8c17f SetUnion BagBagSub TypeMismatch
95c72fca7cdb981cd5fdb75abaaa03354004fc1c SetUnion BagCopiesIn TypeMismatch
9d8f25fbd36971e786ceb23acc6690f231bf0cd8 SetUnion BagCopiesIn TypeMismatch
eb09914df013692dce3bb8285526fcd205cf71e8 SetUnion BagSubsetEqBag TypeMismatch
244382a52b70ad880e917e18670c346a2a31e299 SetUnion BagSubsetEqBag TypeMismatch
caf406df401774cad4af918ee7248375448aa982 SetUnion BagBagUnion TypeMismatch
fb35365c555fd97f4d67424b7c77570439bd50e0 SetUnion BagBagUnion TypeMismatch
5863ffe00f9efe57408c51a83c6037dee3d0b998 SetUnion BagBagCardinality TypeMismatch
cbc2a9a22fe143a3c051b7111b432c8e908522fa SetUnion BagBagCardinality TypeMismatch
1ee8c74df95003557a2233e212832002fbbdd39f SetUnion BagBagOfAll TypeMismatch
ce6622b1bafcac43dbcb9297155ea181c6d9a75e SetUnion BagBagOfAll TypeMismatch
aeb3514541c509364a65b41b42336592eeca9f4f SetUnion FiniteSetsIsFiniteSet TypeMismatch
be1a6ca852d50a0cb35e0d535bcd7e85766f80d5 SetUnion FiniteSetsIsFiniteSet TypeMismatch
8bc300467d0f13fee556501a715bbd30ac81cec4 SetUnion FiniteSetsCardinality TypeMismatch
7a55c70ff50a4aaca88faa0215334a04eb8306d9 SetUnion FiniteSetsCardinality TypeMismatch
70f47bda08042547903683e8ec0547152e911ed2 SetUnion SeqTail TypeMismatch
afcf873b5f0bf7d5829a6389c668df399deb34a7 SetUnion SeqTail TypeMismatch
faffd2b60410063747cb04a994f1525a6456df46 SetUnion SeqAppend TypeMismatch
8053182a6ca3b6ad8914e01ba7030bb290b3f047 SetUnion SeqAppend TypeMismatch