Index

Skipped feature combinations by plug feature BagBagOfAll

Id Case Feature Plug Feature Skip Reason
2ac7c96e6999d95d3826e7c6cf446507854aeb06 OneLineComment BagBagOfAll CanNotBeCase
491f2b3e6bc649810d18a258f7b5071e62386552 OneLineComment BagBagOfAll CanNotBeCase
3da823653d7884d1c773c39b557a1a76b234fccc MultiLineComment BagBagOfAll CanNotBeCase
8234fcc20c97ba8204262987e2d9cc2c05f3bf01 MultiLineComment BagBagOfAll CanNotBeCase
1031860f4ecebbe2575616edc3093c674a3dab47 BoolTrue BagBagOfAll TypeMismatch
5ad65afc69454608f8791fe2d192ac57eeef72e1 BoolTrue BagBagOfAll TypeMismatch
7a2d7a9ac01454a99446f43fd1d94c49185fc573 BoolFalse BagBagOfAll TypeMismatch
82a30bc7b25e6cea57bc9e3092fc5397130b762e BoolFalse BagBagOfAll TypeMismatch
80a58cdead137fbbb889448f6c051892bf1a8dc8 BoolSet BagBagOfAll CanNotBeCase
69f01ec455384eb951813457e56fc1590710d4f4 BoolSet BagBagOfAll CanNotBeCase
850410717a9bcbe9fb95b6a426b833183b0858e2 And BagBagOfAll TypeMismatch
1ef9337295978871e85f896c4a45addbdaece254 And BagBagOfAll TypeMismatch
884c373141434f973af00a0b320e4062ce414421 AndMultiLine BagBagOfAll TypeMismatch
7eb59665486de8fa56f209eb1a7831c693d35cc7 AndMultiLine BagBagOfAll TypeMismatch
021b0c253fd9ef33e6c1464d6e18bc9dd3647c85 Imply BagBagOfAll TypeMismatch
82ada9bccd4baf28aecdc848dcaddf9bc0124373 Imply BagBagOfAll TypeMismatch
0eda30e04b951a5ac9fde6e3f764bd527a02a1f4 Not BagBagOfAll TypeMismatch
c20b7a4795e5d2e6b943df92b200c40cef2b1823 Not BagBagOfAll TypeMismatch
7ee1ca2a8ae0391453da5c91cd1cc58aceb017d3 Or BagBagOfAll TypeMismatch
1fee02fb8c93f1369cf29632b1d227b325fc1bc9 Or BagBagOfAll TypeMismatch
61e06c6ceb9844fb9899e6776f8ac859a6a63f2b OrMultiLine BagBagOfAll TypeMismatch
3fd6daacfe96c9033ca9d013c72a16ade92d30fa OrMultiLine BagBagOfAll TypeMismatch
c2f0ca5a309352dc867ecb80276a35c9c76a3bc5 AndProp BagBagOfAll TypeMismatch
b62834a2110c3fc7409dbe3fc890bd3b37b46a79 AndProp BagBagOfAll TypeMismatch
02b51d8f472688ae57045b4975b17e6d0d2b9840 Boxed BagBagOfAll TypeMismatch
04ef9775653dfee54dc1d723636208339096c92f Boxed BagBagOfAll TypeMismatch
990386268e3781e452dc7370056fd57258234c20 SetEmpty BagBagOfAll CanNotBeCase
b785bc6c541f2e4bc22faa7550815494ea0ae756 SetEmpty BagBagOfAll CanNotBeCase
46abcdf038e47803cd817bfb82f3a96b6227aaf1 Set1InDef BagBagOfAll TypeMismatch
3e7ddc104e5279a0a2132921844562085b5ed7eb Set1InDef BagBagOfAll TypeMismatch
897286ef5ad16c16d55e6fd330c2e6ac19535c6d Set2InDef BagBagOfAll TypeMismatch
117beee0a13f9c792522d616e9611a311a93438a Set2InDef BagBagOfAll TypeMismatch
4d4dffdc422b64d51b55c8c4488e8eb1b1e10772 InDef0 BagBagOfAll CanNotBeCase
c15b06b93226dabe4b37f25d6e73260ad3a7c7f7 InDef0 BagBagOfAll CanNotBeCase
f758ca1e9d440a1ec0e5b3307586e55190558aa1 InDef1 BagBagOfAll CanNotBeCase
892cf32b1cb9589aae3e728b1c7d3562aaee0bf9 InDef1 BagBagOfAll CanNotBeCase
32d261f5fe75a2bdd72e2eca3781639caefe0144 InDef2 BagBagOfAll CanNotBeCase
be6c3e2bdfc7b2840297dc02ee618f9fe44b705c InDef2 BagBagOfAll CanNotBeCase
ed4aa9e6be9fdbc23a07e9da19275b2e7d8d4519 FunInDef BagBagOfAll TypeMismatch
62d094fafdae157c126eb59ee6d73d3705bf15fd FunInDef BagBagOfAll TypeMismatch
6d7918b7da1a0e95ae4a6e7b317c29a05f2f66b9 Exists BagBagOfAll TypeMismatch
b9adda52387a63f1151fdfb251d68ebc14d00a4e Exists BagBagOfAll TypeMismatch
ee434ecf029e5bc0b044f73153f775ca5116b1fc Forall BagBagOfAll TypeMismatch
1ce5672a3852fff900dfc6c375604097cc7e4334 Forall BagBagOfAll TypeMismatch
e48879ff0bb8adf44d219d2ba2d500f2822b8cf1 ExistsInDef BagBagOfAll TypeMismatch
5a3fb6f303993cf375795523f1c72b696204f0be ExistsInDef BagBagOfAll TypeMismatch
c5955ab70fe270900a69dff6aea71281146d66d4 ForallInDef BagBagOfAll TypeMismatch
166687938a5725df023ae4a2d26035348e3087bc ForallInDef BagBagOfAll TypeMismatch
ab6b4792b4e6245ef6ce649aee79fee6c6cd44a6 Choose BagBagOfAll TypeMismatch
e1ea313f621faff764995eadcce133916ccb0b55 Choose BagBagOfAll TypeMismatch
31b038b623a136fb5372ca1d555ac30d0ade0013 ChooseInDef BagBagOfAll TypeMismatch
2e4daded32682153e9dffeaaf0dc22d669d8c1b4 ChooseInDef BagBagOfAll TypeMismatch
8faf2ec24acd0f24a509a606a2f6b1cf05c1b4b0 TupleEmpty BagBagOfAll CanNotBeCase
3b67e388cc050c06da785e58b063b3357c715ad1 TupleEmpty BagBagOfAll CanNotBeCase
e669bbd410e2d178452cd9ee2b5b15117a7a0006 Except0 BagBagOfAll TypeMismatch
72172941c2bc30cbac482ba70c862b58b7e4ab48 Except0 BagBagOfAll TypeMismatch
f0f2c37906b1552f80059480e258361a083be6dc Except2FunTuple BagBagOfAll TypeMismatch
7086039c86b65cef43f092123efe98b532744e4f Except2FunTuple BagBagOfAll TypeMismatch
1c3dd540aa3182e61bd2110583e92661dff5e8ec NumZero BagBagOfAll TypeMismatch
03ac2c556b505ccc4fba21168518d41839212337 NumZero BagBagOfAll TypeMismatch
0cc1a6744518bcba751417b8e6195d748f44d6da NumOne BagBagOfAll TypeMismatch
ebc059618444820137f40cd18855a719430ba824 NumOne BagBagOfAll TypeMismatch
04b1384df3a489753f089238cdf7e5a0727f4e87 NumMaxInt BagBagOfAll TypeMismatch
03813d8e42f0f55051e9f2e76706fe06f627124e NumMaxInt BagBagOfAll TypeMismatch
5c8d18d873e8c800022a4418bcdbc7e5b6c69b3f NumUnaryMinus BagBagOfAll TypeMismatch
5717971cbfbadd1d1ce8b5e27e0246e585b93bb2 NumUnaryMinus BagBagOfAll TypeMismatch
0f3ddab86b952bb91c36ff2dd0b83f8005be320d NumPlus BagBagOfAll TypeMismatch
bbfb0eb6b0e65976d3dc7371aaaed4a53ee4e161 NumPlus BagBagOfAll TypeMismatch
833ae3d32aff191f672ea0fdf6c55ffb99ad0cc5 NumMinus BagBagOfAll TypeMismatch
e7e3d2d4a3177b621b7e0168ce911f055697da53 NumMinus BagBagOfAll TypeMismatch
d20e27cf17b12db5ad4e3b1aa9c8afb29d172640 NumMul BagBagOfAll TypeMismatch
7f92e206563e1e7585c2440c9884c3d74622d37a NumMul BagBagOfAll TypeMismatch
4e774971dbb62d235127e06497bf879c65a11569 NumDiv BagBagOfAll TypeMismatch
2ab4d0c8ede42b49bb304e1f5e00b940d59d7580 NumDiv BagBagOfAll TypeMismatch
1791a262d6b7d639135fd57e7c7d359da472c2a0 NumMod BagBagOfAll TypeMismatch
77d51a62c960bfd0dc192f99d32956e62f1498d7 NumMod BagBagOfAll TypeMismatch
60267b29458aa850c006ff090bba39a5d43c02b3 NumPow BagBagOfAll TypeMismatch
9fcd40771d63c543e920ad4a73238653c4af03e1 NumPow BagBagOfAll TypeMismatch
74635051063723e5d0c73c5e966c653c1b0b938e NumGt BagBagOfAll TypeMismatch
ccb198b1a0d22d57427de0b5053e8a85bbd54dcb NumGt BagBagOfAll TypeMismatch
6abfb56bbb21bf7cc173f46908486a8a8241d807 NumGe BagBagOfAll TypeMismatch
8c8924354177af195f29d8ecb2b4f873174759c3 NumGe BagBagOfAll TypeMismatch
6ee9c883cccbc9c8ec7dcffb92c2ac49b4c020be NumLt BagBagOfAll TypeMismatch
f381a2cb2e90e075caeb2fa2b07b35b7c21aa30c NumLt BagBagOfAll TypeMismatch
30071c21b444ac0919044250dde22936518e37fd NumLe BagBagOfAll TypeMismatch
dba8f2eac8c3ba5c19d8a25a14ffcd9ac9d425ab NumLe BagBagOfAll TypeMismatch
923ab9e0f3b7583cd3c105bbe05c1273deec9fec DefFunInDef BagBagOfAll TypeMismatch
12ff64d6be5ec3da19c82c32be34f06c6b21ce4c DefFunInDef BagBagOfAll TypeMismatch
bb9b9c52bd9703ffe58a4964cbfbdf2a85cbf39b LetDefFunInDef BagBagOfAll TypeMismatch
9e849d4ecc05751192c5d218b4a0bd5541ccb432 LetDefFunInDef BagBagOfAll TypeMismatch
4ad477f49c586388880cf5701e5be8e539151a0f ConstantModelValue BagBagOfAll CanNotBeCase
0d12459d32345874dc69bdb2ea7c12baa55b8014 ConstantModelValue BagBagOfAll CanNotBeCase
b9240ea1468271c65c92a52c0305bbd1be455971 Enabled BagBagOfAll TypeMismatch
ff51bde051867c1166cbaf402f8a5bc0f911052c Enabled BagBagOfAll TypeMismatch
6d966254a04618da994e86dd8ac419d4173e7760 Assume BagBagOfAll TypeMismatch
a4da76b0476f0ee17bd898fbafb21e4855953c40 Assume BagBagOfAll TypeMismatch
e1999b4ef3d0b18ec5b7ad4021f2312e0d184ea3 AssumeNamed BagBagOfAll TypeMismatch
943fe5ac4635eba606e1f25d649dd30f598aded4 AssumeNamed BagBagOfAll TypeMismatch
c54899a269c528547e3aff94be085736980174a3 Cross2 BagBagOfAll TypeMismatch
04779a97c49523b37d900c53958a623a4969c010 Cross2 BagBagOfAll TypeMismatch
e7c35106f859397d1632ab8e5f069ebecd999176 Cross3 BagBagOfAll TypeMismatch
f9b51e5044fc1bc17eeb670d3e6f9529216ba18a Cross3 BagBagOfAll TypeMismatch
3b7eecf6031ae242c1ed0eedf71c74b34759af70 FunSet BagBagOfAll TypeMismatch
cec26de10d131dea4f0d0f7dcfffb068c7e094dd FunSet BagBagOfAll TypeMismatch
e54b4b07180a2045b340a5f1dc273632083a5d75 RecordSet BagBagOfAll TypeMismatch
351a18568e2383ab839ca12d74641b814ae3a117 RecordSet BagBagOfAll TypeMismatch
8312effaeebb4d4f612cbb317713e1766cb0b344 SetDiff BagBagOfAll TypeMismatch
0d9c8416d04ebb4da89b8949e5b045ee3af4cee1 SetDiff BagBagOfAll TypeMismatch
1ee8c74df95003557a2233e212832002fbbdd39f SetUnion BagBagOfAll TypeMismatch
ce6622b1bafcac43dbcb9297155ea181c6d9a75e SetUnion BagBagOfAll TypeMismatch
0b76455ab06a1064a957724ba21fd6ca96b5f82c SetIntersect BagBagOfAll TypeMismatch
7f8c5aa02fde873d697c2afcf9f20578d377b4c7 SetIntersect BagBagOfAll TypeMismatch
228b39b6765ab3cb7edf1a64350404024f6708f7 SubsetEq BagBagOfAll TypeMismatch
8adbc6a3f870175c94e2f37174056f254fb91572 SubsetEq BagBagOfAll TypeMismatch
b430e2801a8ed6073efef7cbecf889d5b4e5ef5c IfCond BagBagOfAll TypeMismatch
9d6d9b3eeb6397fa9a9dd15d2080a61afadf602d IfCond BagBagOfAll TypeMismatch
8eabed27ca11b98358c6617a50e368a251a4eccb Subset BagBagOfAll TypeMismatch
a699f119d811559f596ffcc6755cc89756040fff Subset BagBagOfAll TypeMismatch
eddaf0e010c50859c20c76d18295b8c7c67f3570 Domain BagBagOfAll TypeMismatch
baa2d4046c4e8fd762b8deb4bf1492c26d88fae6 Domain BagBagOfAll TypeMismatch
21e94715455e894670e1e3cc9fa40da9731e5bf5 Union BagBagOfAll TypeMismatch
46ec17a8a06efdb4a90f3f7cc89e5234c2c291d1 Union BagBagOfAll TypeMismatch
189d1199674deb292bfa6da2ef6e173f9247a73d Equivalence BagBagOfAll TypeMismatch
3f12153577d9dd5d2034de6bc3b1c529a5ea33bc Equivalence BagBagOfAll TypeMismatch
e575b9ab40eb2837f62c322854b6f7f01334feb5 StringEmpty BagBagOfAll TypeMismatch
1644145e21448fab2021499f28699a1a41758627 StringEmpty BagBagOfAll TypeMismatch
b6086829fffc3f92098cab9365d5297f7c75e93f String BagBagOfAll TypeMismatch
53496efd5e56046ee512abb58038a7f8fa2811a5 String BagBagOfAll TypeMismatch
3bfd4d211bb2934806d5831458ac929498896295 SeqLen BagBagOfAll TypeMismatch
243b162720c8d0ae83b6384a358395598abec49e SeqLen BagBagOfAll TypeMismatch
d728229ac388c8921cab8e47cc40b3da570821fc SeqConcat BagBagOfAll TypeMismatch
3ad47325552b147b7a9341fa27a63e67d516237f SeqConcat BagBagOfAll TypeMismatch
173a953ad63504d295842734162ec578899130f4 SeqSeq BagBagOfAll TypeMismatch
f248845052c1864df68959d7fbb574635912210e SeqSeq BagBagOfAll TypeMismatch
9911b1864e07cc723c9f630f1c8d1c2930ea13ab NatSet BagBagOfAll CanNotBeCase
0676dd4698aeffeb83ff716a79b3d64bd47f5b7d NatSet BagBagOfAll CanNotBeCase
2cd9772b200c127d8d915364adf1f3045d9b0894 IntSet BagBagOfAll CanNotBeCase
2484c01b20992d9039665888620a2d8caffa81d6 IntSet BagBagOfAll CanNotBeCase
07f6444ef092b07ca0b8c73c3555831db1098fa7 StringSet BagBagOfAll CanNotBeCase
63870c4b40f6561033ddb519ee6fd5855a8a0f8c StringSet BagBagOfAll CanNotBeCase
96a4f055681a8a4bae8ee3f30afa32d7f714f515 SeqSelectSeq BagBagOfAll TypeMismatch
44e719054217fc0a3bac806839089558e6775b19 SeqSelectSeq BagBagOfAll TypeMismatch
19e4007b510ececeb8c556e01222e6c1b99c5fcc SeqSubSeq BagBagOfAll TypeMismatch
26013bd1482fe5f1856a719066f9677dc102b96a SeqSubSeq BagBagOfAll TypeMismatch
a59772db85d697c340ca38aae3c69f31094fea69 NumRange BagBagOfAll TypeMismatch
197b44e783ce6517597d4d36f97295b1e0f71e02 NumRange BagBagOfAll TypeMismatch
26091b2412f0564358aa730072d35572a48c3e65 TlcExtendFun BagBagOfAll TypeMismatch
a90b258291d6bf1478b7ab2f685176e7c8654311 TlcExtendFun BagBagOfAll TypeMismatch
b680b816d6107292a4abd6fa62f14f5902080eb9 TlcPermuteFun BagBagOfAll TypeMismatch
d8627dad9026d5aab4b8e1962c6088af329cea99 TlcPermuteFun BagBagOfAll TypeMismatch
3003934d04b1073cfeae9c389d85e7a9a6078a08 TlcSortSeq BagBagOfAll TypeMismatch
5a3d92c2e33e7097a69e974d7eab6dddea143b9e TlcSortSeq BagBagOfAll TypeMismatch
27051306a92ce96eba43ec11ee2f15ef1110ff3e BagSetToBag BagBagOfAll TypeMismatch
2e06b1b830559a4311dbac1046a71b446c5ca65a BagSetToBag BagBagOfAll TypeMismatch
5ba1cb174de8743a7454015dab7ff6ac43e97a7c BagEmptyBag BagBagOfAll CanNotBeCase
54f9d1d08f0f8b58c1801dd9bfff081d14d32f2d BagEmptyBag BagBagOfAll CanNotBeCase
86b079a95ef1b0b579c1bdc6c7d50c87e5166fba BagBagUnion BagBagOfAll TypeMismatch
18f1aa50220fdafdea3ff8bafa2291abdbfbcac3 BagBagUnion BagBagOfAll TypeMismatch
e236859a140c4e863762634252fda2ef7c991bf5 FiniteSetsIsFiniteSet BagBagOfAll TypeMismatch
f9507c5baf51dcfc3615c9889fe48ed3ea84cfa0 FiniteSetsIsFiniteSet BagBagOfAll TypeMismatch
c003fc102fda369a9c8ea04c903469224ed6f0de FiniteSetsCardinality BagBagOfAll TypeMismatch
01b38861bf6e96f2c2a847692d5cbb2b338ed7d8 FiniteSetsCardinality BagBagOfAll TypeMismatch
1c80086d1805ffcb8b460d35ea5d843e67f2d9be SeqHead BagBagOfAll TypeMismatch
6e5f3377db02659fca5f34d29c42799442fa7891 SeqHead BagBagOfAll TypeMismatch
fecc8d1892cefb6f4f0eb3d041dbb0f0a6c8c47c SeqTail BagBagOfAll TypeMismatch
8a053add0ac16a8878e780232d9a332d58d1a62b SeqTail BagBagOfAll TypeMismatch