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 FunSet

Id Case Feature Plug Feature Skip Reason
a9942570371e92ca511156f3656b5b4116996a87 FunSet OneLineComment TypeMismatch
9ac2ee0ef764a94b1e08df3d86cf5c10983a566b FunSet OneLineComment TypeMismatch
1d1140c8f659608936f4f12b0e3718163b3889c3 FunSet MultiLineComment TypeMismatch
bd6e955e2b5391db9f2cd95c6821404567022408 FunSet MultiLineComment TypeMismatch
c95ed0dfbc3c23b761c79c3f73272d63d3d52989 FunSet BoolTrue TypeMismatch
5c34b7fb36c6d71b3be787d66404147cb1538fd7 FunSet BoolTrue TypeMismatch
b12150543ef55619210951a5bcb75e733880e605 FunSet BoolFalse TypeMismatch
7230b89bd14342935578513493c4039ce8d612fd FunSet BoolFalse TypeMismatch
953b66e10743e32c6d646b5e675b002a1c9a31c1 FunSet And TypeMismatch
8f2360102f457ccdcff31e50c575771e75f89e8c FunSet And TypeMismatch
daa6cf262b218ec011b395281f699c82d3e6054f FunSet AndMultiLine TypeMismatch
eca41ab36ece22a5fce1c0262bdfd7f4e277c92e FunSet AndMultiLine TypeMismatch
99746c79295545a7f294a2f956990c632ad8a4b8 FunSet Imply TypeMismatch
cabad9d3bd793c0ad7b75df374b729b1233b24f1 FunSet Imply TypeMismatch
f8b9cee5edd6aabb7601a86eaa120437149d0a90 FunSet Not TypeMismatch
17415fa0b9e63c2d8f6639b946451accb93e1e08 FunSet Not TypeMismatch
33b62c890e81b3f5c713524b3e7de2fcfa636d06 FunSet Or TypeMismatch
525aa39894802e5780eaa907af52246148d3c354 FunSet Or TypeMismatch
43e533163f54e782476d9eae26ab1b6eae4f847c FunSet OrMultiLine TypeMismatch
7e2374498541956ac804f37021995e61aefce64d FunSet OrMultiLine TypeMismatch
2d7724150b10d40b89e78b6e2e8ad161cc62a78b FunSet AndProp KindMismatch
2e6ca83648c4d91a435f2c276d3f550a1b97561c FunSet AndProp KindMismatch
b97caee6098ebab1462b01128d7de2311aad4eb5 FunSet Boxed KindMismatch
8241112ebbf04368e065c54d4f5538666b54c2bc FunSet Boxed KindMismatch
901ec3388b1aff8b2693989bbb323276e844af37 FunSet Eq TypeMismatch
cdf2351062bdda47776e3f822afbaa53c2c88814 FunSet Eq TypeMismatch
7472170b0421ee40ad7816d4115d07c3cd79cd67 FunSet Ne TypeMismatch
bd9b797875bda4f20c0ef32000b033a19d2d89d5 FunSet Ne TypeMismatch
32de67fe4a4592af06e99ea5a3f43cc7ed7978e5 FunSet Set1InDef AlreadyCombined
d45483ec4f373e6ad008bf393caab46d026cae25 FunSet Set1InDef AlreadyCombined
878241590732fa16d07acb5c415066552a623d31 FunSet Set2InDef AlreadyCombined
553d8af6f8fb9c9f691b4ce10c84fcfc789a2e67 FunSet Set2InDef AlreadyCombined
750a556d89139a283b5b1af9384037d4863b3e78 FunSet InDef0 TypeMismatch
6b8fbcee18636a102c932f9a5adf083c63cdb4b4 FunSet InDef0 TypeMismatch
008fde417ffee3bf924949a0276467904e983f6d FunSet InDef1 TypeMismatch
4afe8931fd12681d379a4e04ab35b51518beef86 FunSet InDef1 TypeMismatch
815b17a6e3bb2d5e67d2567d1b16a006b61a6aec FunSet InDef2 TypeMismatch
b0617085a88c9d38de7738c8ba195038e3a77049 FunSet InDef2 TypeMismatch
d3c4c3197680f55c9d602f306c51d6894ce27f7e FunSet Fun TypeMismatch
f2a279095a35283fd06f1ebe981b0614874ac00a FunSet Fun TypeMismatch
3c7dfd5c115d18987ff7793f15c2daff241d2ab1 FunSet FunInDef AlreadyCombined
31e8b06a001c856ca295a9c0bd7194c9d7abf46a FunSet FunInDef AlreadyCombined
eca8386a7a4bb6b6f5109896dfd2dcf796f20d7d FunSet In TypeMismatch
fc117f3d7844332a5271ad36dab3488181f4416a FunSet In TypeMismatch
aefb3777baf837b09142e3a694fd8666ace1a3f6 FunSet NotIn TypeMismatch
d8bb4ba40b2e0b721597a9f4548249886f4c4be3 FunSet NotIn TypeMismatch
d83dff4c6beb3e3de775a2e735e91b8c3557bcdb FunSet Exists TypeMismatch
160d78d6dd383a4c942bcc4be7f5cad1fe00259e FunSet Exists TypeMismatch
59fbb775583be27c7cfa91d5296a46766a82d9f8 FunSet Forall TypeMismatch
8c12b091ce1de3c1c984a4c2f357313c1db5264e FunSet Forall TypeMismatch
e04078b88e0c66c4b5c5c195010efda69052517c FunSet ExistsInDef AlreadyCombined
c20d1cceb64c27e14c44c50d6c0bb20b6d8bf641 FunSet ExistsInDef AlreadyCombined
bbc30ec7b9f85e4e947d2f3d4560a864f66b7703 FunSet ForallInDef AlreadyCombined
11848a48a8fee099eb7a7752fcea1479299ff339 FunSet ForallInDef AlreadyCombined
1ba6d608892f2ad4ba45235c4ce0549c55909a07 FunSet ChooseInDef AlreadyCombined
a77335557f11312b49b1c4ba4cd2e64b9c90e6ff FunSet ChooseInDef AlreadyCombined
20a33bbbcf5efa621b9c4a253cccbec9a2d68287 FunSet Record TypeMismatch
0da1e56cad7fa89b50801d32a7cd2c5f0da6e27d FunSet Record TypeMismatch
66427290ff27264016e23f2c6db5e5d8693a91a6 FunSet Tuple TypeMismatch
87eb6186e8604847fe9f05585234cad01def7a10 FunSet Tuple TypeMismatch
911c73fbc107eccbaebce38edb4366239334f3ba FunSet TupleEmpty TypeMismatch
aa02342b484cdcf460e1593932717d7343b6f628 FunSet TupleEmpty TypeMismatch
a94ce0223166a01c213e5dd275f765e4c41fbd8b FunSet Except0 CanNotBePlug
c4045979167dddda5f34efd9893d3f7e856cc380 FunSet Except0 CanNotBePlug
49a16cea479800a52799d67d5ef6567d82ad15e7 FunSet Except1Fun CanNotBePlug
d8dbb0783fc14f3d13e69ab4652f89a6cbe0a149 FunSet Except1Fun CanNotBePlug
afa287cb6578da5b3c2e53db9fd6b3f60ffc2575 FunSet Except1FunWithAt CanNotBePlug
8133f521f8363da75a6faf2578f648659b7ba16c FunSet Except1FunWithAt CanNotBePlug
64bf0fbd68e92d75c961a37f3f343fd91fb49c6f FunSet Except1Rec CanNotBePlug
8c735d303b261221c613dba84c9f579f285bc843 FunSet Except1Rec CanNotBePlug
f9549d4ee81caef567315ba8c68d63a53873c4ed FunSet Except1RecWithAt CanNotBePlug
be9ae97ce1be757ac7073a994e6f8ede928df876 FunSet Except1RecWithAt CanNotBePlug
71201b59d1933ff9db67bba09d982177aa4278a4 FunSet Except2Fun CanNotBePlug
3c2ebaef2cbbb40bb7463a17c5ed63ee659cde87 FunSet Except2Fun CanNotBePlug
1c34129f83c2bcfd8b4c02636e132efd2f9b4520 FunSet Except2FunTuple CanNotBePlug
5698b4eeef60e7a6ac58223263d5b01221976be2 FunSet Except2FunTuple CanNotBePlug
b898b3994717b9762fa9b4261c0ce079e6ec920a FunSet NumZero TypeMismatch
4d1439ea0823ce57add1263c9faa36d0b34c527d FunSet NumZero TypeMismatch
50f87843ea9a8ce59d4c7f58211e313fc50f0795 FunSet NumOne TypeMismatch
e088351505f9cd798b69732e7634f53c3a02837e FunSet NumOne TypeMismatch
62920415197ade5d750559882bbcfb1eb65eabe2 FunSet NumMaxInt TypeMismatch
e19a8575fbef5f36ad47b69da7941f8f9c8de36c FunSet NumMaxInt TypeMismatch
2ec0ed46a5aa6dee3fc457a9a7d1b677e06988af FunSet NumUnaryMinus TypeMismatch
ff380e75cf53872d23d1c6fb5415efc9e1c1510a FunSet NumUnaryMinus TypeMismatch
64d7e6bc90bd8ff91708ceeffc64780ea44f33eb FunSet NumPlus TypeMismatch
a3728edbc04ac13ab8aad31c08bb2f1f44035a39 FunSet NumPlus TypeMismatch
6d1918f80a3e9fece615fbc4a67618d7e1c8d28b FunSet NumMinus TypeMismatch
84b361e11d197a57d3be7d36f9745f865be39054 FunSet NumMinus TypeMismatch
e7ec5578a0774a66e71b6f3ad29ca046bc0a499b FunSet NumMul TypeMismatch
7b56d380bf920f2cb176d6bcb435a2afd28c73bf FunSet NumMul TypeMismatch
529250e494a361cdb2ef78e847f2066973f3689a FunSet NumDiv TypeMismatch
be6d57c65d67801c7b56d2f930ccef744e44aba9 FunSet NumDiv TypeMismatch
6fc26e1cc0de9b151323f8e05557b5e8c08291d4 FunSet NumMod TypeMismatch
c0615951957046d7a168adbf14810ab7be60a652 FunSet NumMod TypeMismatch
24478fe1303028663297d254e169692916e54d56 FunSet NumPow TypeMismatch
572a4615a216db72c8e94923419de2e2fcbc5c0e FunSet NumPow TypeMismatch
9a427063bdd50a55c8be6e88a6886363d47e5c8d FunSet NumGt TypeMismatch
a033ac331c6166a71cfe3ca8d653d81577cbf914 FunSet NumGt TypeMismatch
0bcd3c1cefdd6492eb66613502f3733c92f52c1c FunSet NumGe TypeMismatch
3acc1a8960a5a4efc894db1f5e7e7d4f68e29b30 FunSet NumGe TypeMismatch
a1fc67c2ba43f7fd69128951715565298cc8e267 FunSet NumLt TypeMismatch
b667135e13bcb24a1e8da030e46def1c70ca77e3 FunSet NumLt TypeMismatch
98a14a3220d0d101ccd4b609203a98dc02258c22 FunSet NumLe TypeMismatch
27859aded901e164421ebe94e0b2fe90b9a52519 FunSet NumLe TypeMismatch
0a5f73c427a7b778630d16fc58062ed54b0350be FunSet DefFun TypeMismatch
72b14343a3569346a5f5c21e7718ffecd4bb33df FunSet DefFun TypeMismatch
45cc2e5047fe56e5f69145ff29261f61ea223f3d FunSet LetDefFun TypeMismatch
ff29f2b7f68d3f0e87d1edb826b171b8c238e85d FunSet LetDefFun TypeMismatch
c0f0b50d537db9e6ea76f85f1ea68bfea2225387 FunSet DefFunRecursive TypeMismatch
606ca79bfb8476fc6dee85928a9e7150c9e39e13 FunSet DefFunRecursive TypeMismatch
6b71e7b4ec144308d17282a5923c695932e7bb84 FunSet LetDefFunRecursive TypeMismatch
b41551b2503d3e03ea94315f4f695cd5d6765f54 FunSet LetDefFunRecursive TypeMismatch
86d2634bf727a8dee5cb9b05965c9f8775d4009b FunSet DefFunInDef AlreadyCombined
6f6d4c3ef2fbc96d5d40b64fb6682884e4b962fc FunSet DefFunInDef AlreadyCombined
1776d0afdc9d055db10e958e6beef2beb76d1b51 FunSet LetDefFunInDef AlreadyCombined
5acfc1e5f198088b56262dfe6abddec23e6bf593 FunSet LetDefFunInDef AlreadyCombined
83379fbd5acc6134a550a0d7b17c7aac3551bfec FunSet VariableViewExclude VariableExcludedFromView
dffbdc0788230ba0075218270112f54a0e0fe868 FunSet VariableViewExclude VariableExcludedFromView
885cd03bbbfed1b25bb8289b62c4f0058966952b FunSet ConstantModelValue ModelValueCanNotBeUsed
33432935dd4df9f18de4a04acf1e89da1260059d FunSet ConstantModelValue ModelValueCanNotBeUsed
fad22ede32e7eccf8f982ece29fbed2fd7f023bf FunSet Enabled TypeMismatch
317c9855c9649463d31a27a5016ea2222c071e90 FunSet Enabled TypeMismatch
ed13752e4a038d66eb677a3f864c9d32e0ce03c0 FunSet Assume AssumeIsNotEmbeddable
2e20a7edf9a6f2292ea6d82af00a3ba3ed3e1d4c FunSet Assume AssumeIsNotEmbeddable
2428b9509f649c6de0a6da0141edd1ce0b164ffe FunSet AssumeNamed AssumeIsNotEmbeddable
225f97762ed1a79fa3257be735a743ebf0e57f6e FunSet AssumeNamed AssumeIsNotEmbeddable
4dd622f214186d480cd75cc094416180df67d3e4 FunSet Lambda TypeMismatch
912b20e55e94e001af049d53fb238a179d813647 FunSet Lambda TypeMismatch
eaae5adaf72d98414a5fd5f60defd820271a46a6 FunSet SubsetEq TypeMismatch
a0f294ad5d126c593296c69e010449b71a7b218f FunSet SubsetEq TypeMismatch
34d3e0402767780d679e107ec69e4f9e46e0ea72 FunSet Unchanged TypeMismatch
0800bc76f7f12f050e55577e787c9b2c0c2141ff FunSet Unchanged TypeMismatch
86dd2287eb084d8fc300eb1cbbd1dba5c77352c3 FunSet Equivalence TypeMismatch
20e42daa05faf86aeff6b0ed822afee58da6e62c FunSet Equivalence TypeMismatch
15c8771d4f369f419d84196d986ec182ffafcdd6 FunSet StringEmpty TypeMismatch
2788164d4b156090d7043a6e8afe3391201a45c7 FunSet StringEmpty TypeMismatch
d096a5b8c01316381629697af350052bc0ee7b74 FunSet String TypeMismatch
46362ddb181fdb4ce7f9383a1eb138237d58ab1a FunSet String TypeMismatch
61d81795c0485abd7675bcbf4531aa82bceecfa5 FunSet SeqLen TypeMismatch
2c6ed15b0d7106f31656bd14e34e87c9bc4173df FunSet SeqLen TypeMismatch
d0be563f5c3c3c1013c76d60ea0bbefc5c93b9b2 FunSet SeqConcat TypeMismatch
81d3ab3fc5e2d9f64dcce0ac2c888b2d18900046 FunSet SeqConcat TypeMismatch
0a5836dcde015ebbec13bd7e13fd49685fb6a6a3 FunSet SeqSelectSeq TypeMismatch
95fe6d1815c8c44038f75e326abd490ea4fe21d8 FunSet SeqSelectSeq TypeMismatch
9afad34b5b517c5f9e94ef369605e24be325284e FunSet SeqSubSeq TypeMismatch
d439278cb721a68d40f8c2fbbf8aa433bd1befb6 FunSet SeqSubSeq TypeMismatch
ea109425886058d95ef1de1a3b2808cfcec09bd8 FunSet TlcSingletonFun TypeMismatch
071b12e05a49bc432cdbd851990a27602a053bfc FunSet TlcSingletonFun TypeMismatch
1a96e41da32cc939742ee7cb4164e34227b2053a FunSet TlcExtendFun TypeMismatch
4ab0df698690b2f94580648f379a02ae62718c71 FunSet TlcExtendFun TypeMismatch
4fa3375c41f2622140e11b2eee14dfd820d52f38 FunSet TlcSortSeq TypeMismatch
0fe769f1bdfb8ee928dc34708f8aec116bc9d944 FunSet TlcSortSeq TypeMismatch
6872fae673bc118422ab57730825c6157d20bdfd FunSet BagSetToBag TypeMismatch
977783e5234c67dca7e2084b73a7950d15172ae4 FunSet BagSetToBag TypeMismatch
1858690e6f01ceae8156ccabbe7702499f0dc89e FunSet BagBagIn TypeMismatch
ec99016a3b7f9a2596ee6d55aa9d6f3a90c89a71 FunSet BagBagIn TypeMismatch
438ad7be1e4e32c51404043ef0aa9e661895a38f FunSet BagEmptyBag TypeMismatch
55bd82bbf45294760cb5711aff1554528c0a7a5a FunSet BagEmptyBag TypeMismatch
ee864d3d02bc98f40b0b214aea16d5a896f19257 FunSet BagAddBag TypeMismatch
89246949103829833891dcc18e26d3da762cd69f FunSet BagAddBag TypeMismatch
8096e657528d36e19d92ac6c2dde2b34f7b3e364 FunSet BagBagSub TypeMismatch
ff75af19c0994747ac87ec7284ff9fbb0c324038 FunSet BagBagSub TypeMismatch
15b412702d265054d12e181af17be9dcf5b666be FunSet BagCopiesIn TypeMismatch
8af786e2b8f744194f689a2569408133a09333e8 FunSet BagCopiesIn TypeMismatch
1af8d2d6535be393a1b96472e28f9f1e45ddc221 FunSet BagSubsetEqBag TypeMismatch
91bfb3829cc192b530338032e6695bf250f5cd62 FunSet BagSubsetEqBag TypeMismatch
b91c20b0336cd5be0cb842987401e6bc3b1647c3 FunSet BagBagUnion TypeMismatch
891cb6a38c2936054438d0c4728c13d9cdb5d567 FunSet BagBagUnion TypeMismatch
b914f462cb0cb737bd9a28b4eb3363ce0b2e1307 FunSet BagBagCardinality TypeMismatch
943c413913dc4d4a5c8e8c952e7e8f49268ba00a FunSet BagBagCardinality TypeMismatch
3b7eecf6031ae242c1ed0eedf71c74b34759af70 FunSet BagBagOfAll TypeMismatch
cec26de10d131dea4f0d0f7dcfffb068c7e094dd FunSet BagBagOfAll TypeMismatch
0fe8a2f0b40f0b80ae2cb435c23dbf14c8b6d447 FunSet FiniteSetsIsFiniteSet TypeMismatch
ca00f2389055c602c8a4c67f4b8c108cc98c060e FunSet FiniteSetsIsFiniteSet TypeMismatch
c795e258444a41a877d4b5ea79b834463a284b1d FunSet FiniteSetsCardinality TypeMismatch
8810fbcebe7c7cd97531ef66c59e004cb34a922d FunSet FiniteSetsCardinality TypeMismatch
fd87781455210cbb7a7b1ab538de762a661b1762 FunSet SeqTail TypeMismatch
15ef7b90013302923557c35aa49c2c4311bda06c FunSet SeqTail TypeMismatch
8b7c858312476cbaea03004a6ca4f9df6aa107c9 FunSet SeqAppend TypeMismatch
d0a9eeec033ae5c6c1f0d3253188a123bac6a288 FunSet SeqAppend TypeMismatch