Index

Skipped feature combinations by plug feature BagEmptyBag

Id Case Feature Plug Feature Skip Reason
aab93d496633a91d36a07c716bdac308ef570110 OneLineComment BagEmptyBag CanNotBeCase
9b28e218a8791898fe26219f8637b45c61b340d8 OneLineComment BagEmptyBag CanNotBeCase
470990415acb317a86ad3c24e69459a1f62b3c6c MultiLineComment BagEmptyBag CanNotBeCase
035c80e8b5af10d388be9b9c74335ab9359b74bf MultiLineComment BagEmptyBag CanNotBeCase
4845e481505f1baa29dab19332b66320a573abf5 BoolTrue BagEmptyBag TypeMismatch
0e6cb2a73a990d3250069337f553b2aab72503d8 BoolTrue BagEmptyBag TypeMismatch
dceeb624fc62c79e81cd82483e67400ebb735132 BoolFalse BagEmptyBag TypeMismatch
ccb59d8da9957ab8e8de607304cccbd571b318b4 BoolFalse BagEmptyBag TypeMismatch
dd635e0f9c38adb5a0f7c9a4c26e94ffac63f46e BoolSet BagEmptyBag CanNotBeCase
e1f3189df8dc87084a8b80eef484669a88582396 BoolSet BagEmptyBag CanNotBeCase
c9bcadc8df96369c275078c96ee49bf42d9b5909 And BagEmptyBag TypeMismatch
575f6d9c94d468cd29d1a3269e6cd4fa0cb96a61 And BagEmptyBag TypeMismatch
c2a4a972a9a5621b730bcb2c8736a867b7804840 AndMultiLine BagEmptyBag TypeMismatch
507d0bdd4045c1721c2003e35edf39e942b36ff8 AndMultiLine BagEmptyBag TypeMismatch
6146d9c87308c1ed8e3618c471207e1865f64b4d Imply BagEmptyBag TypeMismatch
7116833e4f5e1a06031c43790c7a45509c06c233 Imply BagEmptyBag TypeMismatch
c1377c40d14df5e9570377c345ab92f0d9dbedaf Not BagEmptyBag TypeMismatch
b62d26c49d327a7d122a265dc197f871d647301c Not BagEmptyBag TypeMismatch
83c1ee9f9bbac798b537914a07d8af578967c72f Or BagEmptyBag TypeMismatch
37816f8470bfee59876499486554841f6730381c Or BagEmptyBag TypeMismatch
26a744c11ca22ea28a556b470fdbc0a1807c3683 OrMultiLine BagEmptyBag TypeMismatch
fb3301d5888a15e4ea34c8233782b04bf25ae7f7 OrMultiLine BagEmptyBag TypeMismatch
b3037e6d9428eb4e753e5485e48c62ae33ade580 AndProp BagEmptyBag TypeMismatch
e7511b7d2b4b7a649ffed53f3f3926c4f197fe9d AndProp BagEmptyBag TypeMismatch
3e0763ab26d147e2daf392cbbdb805b013c6bb7b Boxed BagEmptyBag TypeMismatch
41b3ba045ec33a90463935d8037b3bbf720f9773 Boxed BagEmptyBag TypeMismatch
a92d1bac610b85a7dd5e31b7512fd05d134e75a9 SetEmpty BagEmptyBag CanNotBeCase
fc942c32aa72033c2b5b4acd868d66b8bc2f60c4 SetEmpty BagEmptyBag CanNotBeCase
ae52f28a1ab4ae0115748b9586c6300cc67fe9f7 Set1InDef BagEmptyBag TypeMismatch
933f989892a7b1ea7de626000105882d67bb8285 Set1InDef BagEmptyBag TypeMismatch
1a2042c3279bfcf1ecde812196f1d4aac5358b4c Set2InDef BagEmptyBag TypeMismatch
408b3adae8e1da9901fac15349984a2a7b75cb97 Set2InDef BagEmptyBag TypeMismatch
1662cf178af6dfe7d6a53d2920a6335362e0583d InDef0 BagEmptyBag CanNotBeCase
8d856fb02df0bcb38a7d59cbb0a5ef7fcda433a6 InDef0 BagEmptyBag CanNotBeCase
648295e809882c9b040b11aacad888da710d2f8e InDef1 BagEmptyBag CanNotBeCase
1241da4188e46647333fdebb3d4d538992db8d39 InDef1 BagEmptyBag CanNotBeCase
4760f2438009adc8b38f31e678eac539921d7331 InDef2 BagEmptyBag CanNotBeCase
5dffd023e59a18f4785336e59e3d9abbf6d0d07d InDef2 BagEmptyBag CanNotBeCase
72c0ab8efdbff03588aaf62bca088b897cf71b80 FunInDef BagEmptyBag TypeMismatch
64fb372a51c470fe3736fda44b6b360d9a83430d FunInDef BagEmptyBag TypeMismatch
1638a87b0f979d9dc774b7cb40e79337edf2fd88 Exists BagEmptyBag TypeMismatch
18aab821bdc55fb706b5a88f864d0f0e2abb3dee Exists BagEmptyBag TypeMismatch
ee4875e7afeffbc84af72b615074c47ea0faa9e7 Forall BagEmptyBag TypeMismatch
a26cef6769130503eef2e4792ef99be7fd4f1f9f Forall BagEmptyBag TypeMismatch
c584c879b094496a48554cdfbc91da52598758a8 ExistsInDef BagEmptyBag TypeMismatch
5121b6a777d7ddc2728f0d953ee055a29ae9b742 ExistsInDef BagEmptyBag TypeMismatch
a8bccc4fc211b69e992c17a680dd7d7c32d0ea31 ForallInDef BagEmptyBag TypeMismatch
290003627b2b043fafe3658b406905630c518914 ForallInDef BagEmptyBag TypeMismatch
8a1798d62934b9796c0088d6f9fbb1a0e43f67ec Choose BagEmptyBag TypeMismatch
c36508435a6ac3d506a9b1bfa68240c2e0320d24 Choose BagEmptyBag TypeMismatch
b5ebbb896f48a54a3dc6d8125379d87caa6d268a ChooseInDef BagEmptyBag TypeMismatch
9a04ed270f5de5540a1a2bc3ff59a893360a5842 ChooseInDef BagEmptyBag TypeMismatch
080bbbfce52bd8da2d30c67eebaf63d018e19d10 TupleEmpty BagEmptyBag CanNotBeCase
84b45ebffa4edb46ec3f28671004f0dab0c4e739 TupleEmpty BagEmptyBag CanNotBeCase
333158e76d7e4c9be18eb0ae323b44640f8991f0 Except0 BagEmptyBag TypeMismatch
3ee1e5b2ee508d6ced73ecef823096c67fc15952 Except0 BagEmptyBag TypeMismatch
a6239b43a9ecffc5ccd06cadecd429e5fc6689ba Except2FunTuple BagEmptyBag TypeMismatch
7d67763cd14dc4e7f7637f2a56eefeb91eff9312 Except2FunTuple BagEmptyBag TypeMismatch
ade25119dbfcf6bf5aba171fbb86b099bc1c816e NumZero BagEmptyBag TypeMismatch
4ee784ae7ff78ce6e8b90935239b5f902bd1bd12 NumZero BagEmptyBag TypeMismatch
2c01acd9bbc2da772d00c6ab33f7cf0ab42a8b84 NumOne BagEmptyBag TypeMismatch
980351a05911e2b30df94bc9e67ad4af4e1a724a NumOne BagEmptyBag TypeMismatch
79fa2b6cf5859035fa6dfbde460a1799fadd1518 NumMaxInt BagEmptyBag TypeMismatch
213b1088805d1f37ae6897a6801dd1b16e7f499d NumMaxInt BagEmptyBag TypeMismatch
81b1183298d011801096b968e164c3be36589b35 NumUnaryMinus BagEmptyBag TypeMismatch
2162717a2cd21ab6b3f19b46ce335f1a081715d4 NumUnaryMinus BagEmptyBag TypeMismatch
3a71c3fb9c8b420df8464f8af00bdb849a9a19ed NumPlus BagEmptyBag TypeMismatch
438931c5a244c6ee26654cd0c5664d2f26ecafa5 NumPlus BagEmptyBag TypeMismatch
d609be9f643e962a98ffd5d086835f74dbec2f19 NumMinus BagEmptyBag TypeMismatch
58b4e12a2cd3a30b865c5ad38ab19f1a47c788e9 NumMinus BagEmptyBag TypeMismatch
35825f43c0b5a961b79e49cfe939fbc992d4771a NumMul BagEmptyBag TypeMismatch
46850758058026c62c77976d5f59ca34ae34c865 NumMul BagEmptyBag TypeMismatch
c90de4781a4d6fbc8a73c1562900a33b4606b4d9 NumDiv BagEmptyBag TypeMismatch
88e856a0d2afc4eeb9d223edd8a61e1f0d1119a0 NumDiv BagEmptyBag TypeMismatch
4dd595c2faf6a2c7087dbfc1d6100be9421501a9 NumMod BagEmptyBag TypeMismatch
4f12f7ab220265c065689bcf1dd690387fc68b07 NumMod BagEmptyBag TypeMismatch
7254f9b366e6bc065b74b4c134324d678d2ebf8a NumPow BagEmptyBag TypeMismatch
68e54264e07b7d2fc8aec7d373563b5e5bcf0f66 NumPow BagEmptyBag TypeMismatch
a796841410fce90673f70dc84138899232a5b77b NumGt BagEmptyBag TypeMismatch
c88f80f382603f0838f8a7c47e72a7f71ed2313b NumGt BagEmptyBag TypeMismatch
e109ea39ceec0677883466bde251bfbcccd123bd NumGe BagEmptyBag TypeMismatch
d5437f53b436ae920c85cb5617abde8f3033396d NumGe BagEmptyBag TypeMismatch
42e99a74b4a343f7c23e855504ce494270218b40 NumLt BagEmptyBag TypeMismatch
ab0d5bd785654573a828b773ffe18e673b4214a8 NumLt BagEmptyBag TypeMismatch
54a854fca1a22adb638d78945351facc1bfa98a5 NumLe BagEmptyBag TypeMismatch
881898c5fcdfdaf038ed42f426723aeb9afe8c21 NumLe BagEmptyBag TypeMismatch
31ee151ff2ce271bbd27ea8be71b6bc5b2d48c29 DefFunInDef BagEmptyBag TypeMismatch
2871eb94bce8bc5799b226617d7516940731535c DefFunInDef BagEmptyBag TypeMismatch
02a71f346f2b15fd16cf3974405bd4d4a21ed10f LetDefFunInDef BagEmptyBag TypeMismatch
e37487adccc64eaba842e530f6732d10b95a75bd LetDefFunInDef BagEmptyBag TypeMismatch
9994625b0ac56cb8caebbd111c83e51b6d195d46 ConstantModelValue BagEmptyBag CanNotBeCase
631d520a537e67ea913cdf54b0138ae406ebbb76 ConstantModelValue BagEmptyBag CanNotBeCase
4d7c1cf179235d14880dffa5b40faf0c7ed4971d Enabled BagEmptyBag TypeMismatch
726378d726b89d18ffe3ee80ff6252135edc3ba8 Enabled BagEmptyBag TypeMismatch
dea2a1e54cd5a1e53919859c244bf2c06d116c28 Assume BagEmptyBag TypeMismatch
798d0bb25e7c51c03eac0b8f0baec7f8ce24c134 Assume BagEmptyBag TypeMismatch
e4170662fc061a1cace6e23a0716f4a769767879 AssumeNamed BagEmptyBag TypeMismatch
a7cb61ac6b65e97fc6818289e751188e7517dbfc AssumeNamed BagEmptyBag TypeMismatch
0d4c7729298304a9db021292d487fe304f0a1138 Cross2 BagEmptyBag TypeMismatch
2649c32b6b7057c7f13bbf2c3b935f8ef25beaa8 Cross2 BagEmptyBag TypeMismatch
b76f6a02611e689bb22b0e2c5cd98737c98a4eaf Cross3 BagEmptyBag TypeMismatch
5363cb75675985686e580832d1b462b0a63b9911 Cross3 BagEmptyBag TypeMismatch
438ad7be1e4e32c51404043ef0aa9e661895a38f FunSet BagEmptyBag TypeMismatch
55bd82bbf45294760cb5711aff1554528c0a7a5a FunSet BagEmptyBag TypeMismatch
883d699745fe16fe5ac1bb1553cd48e2c1924844 RecordSet BagEmptyBag TypeMismatch
fd8ec2ea3a3902e6dc5616da7a9984cd04dc404b RecordSet BagEmptyBag TypeMismatch
9c8ef595851028d306650415ce87111f69dd2334 SetDiff BagEmptyBag TypeMismatch
75fae891a4da692399303f3a1bd91d8f0f161964 SetDiff BagEmptyBag TypeMismatch
ff12e917492e806e7f4006abbf6705b23c1cea16 SetUnion BagEmptyBag TypeMismatch
5cd0c3845bcf70b3e900cc5f474469c41484bb2b SetUnion BagEmptyBag TypeMismatch
cf47fdd0e18c85aa0b7c375cdaa39c983f093169 SetIntersect BagEmptyBag TypeMismatch
d3ffe46a9f934197966ef07adfdb00407869cc77 SetIntersect BagEmptyBag TypeMismatch
9c04b83780a4cdbcb875fd96981ec8d7b9ecb687 SubsetEq BagEmptyBag TypeMismatch
e2f15d7cf949b11b21b958d4ca23c1e76bfb4e20 SubsetEq BagEmptyBag TypeMismatch
d9565f9d610d8d2889a24c0f7d75f55cda8eea63 IfCond BagEmptyBag TypeMismatch
7039b0f4e5c44b2be90200701482c977b30bbbc1 IfCond BagEmptyBag TypeMismatch
7a965da6b75ee841d5a32866bfe65e3e3b09c4c1 Subset BagEmptyBag TypeMismatch
7901b9a8b8a7bc242f70c0e16f5c5f6b661637eb Subset BagEmptyBag TypeMismatch
971576c918cfe533a5432966c0eadbf4db953498 Domain BagEmptyBag TypeMismatch
fb4d45ef89f127b96da796b14153fb962c579d9d Domain BagEmptyBag TypeMismatch
879d96e25308f03e667ed3817ba405d8d724f419 Union BagEmptyBag TypeMismatch
307b6c4ca4f6469d651f9cb72be9175a8c21761e Union BagEmptyBag TypeMismatch
e8072079f76b33f22079c01dd62d17f2ea6fe0b5 Equivalence BagEmptyBag TypeMismatch
2bc4cfc69c6e488e785b924040fa866653e399f9 Equivalence BagEmptyBag TypeMismatch
5d142adbb21a3ed2d62ce5dc4af60e5434fe5243 StringEmpty BagEmptyBag TypeMismatch
2225606c0b51a635ef45db338b74797d6d43f044 StringEmpty BagEmptyBag TypeMismatch
a680738a271f0c4efcaf2b3276726814cadbfc6f String BagEmptyBag TypeMismatch
dc06d670582a10a7bb918b379e08681b523070fb String BagEmptyBag TypeMismatch
0bb2609868d532dc802132fd01963396db8d53f3 SeqLen BagEmptyBag TypeMismatch
f070ebc2a3d7ab8e199a8b9d6d48bdf274dc7022 SeqLen BagEmptyBag TypeMismatch
45ed13ed26c58b7ada212dbd91e3d71a310b657b SeqConcat BagEmptyBag TypeMismatch
2342ca5acb070f58d6d73bc31372ae546c2ada5f SeqConcat BagEmptyBag TypeMismatch
6316dfab26480794878d002d2654410165b240e1 SeqSeq BagEmptyBag TypeMismatch
a5fe0d346faac2991fd056f93ce029e65b7e0f0c SeqSeq BagEmptyBag TypeMismatch
6162875c728bdbd0bf241bc02ebaca4160d1bdf9 NatSet BagEmptyBag CanNotBeCase
5dfa6b993a1e4e237f5a4777f7f6d3877ed836fd NatSet BagEmptyBag CanNotBeCase
5091b67097ce200df57e5d34453e5c83a7faf220 IntSet BagEmptyBag CanNotBeCase
d05d0db2dafacbf0aab027b3a2611bcd7ee61a7d IntSet BagEmptyBag CanNotBeCase
4347ff6353657d01a6c47df6e1f294186cd62007 StringSet BagEmptyBag CanNotBeCase
6caba1d97b1ad338daa487c3f7057260c73c1cc0 StringSet BagEmptyBag CanNotBeCase
b6f7dae4d19b6368e4087d8e55d6d84267de7946 SeqSelectSeq BagEmptyBag TypeMismatch
625884bacaf1d804658b72f9e12908164908276a SeqSelectSeq BagEmptyBag TypeMismatch
e53e89670d1015c1e0d49ac670f929f370c99492 SeqSubSeq BagEmptyBag TypeMismatch
ba112a91fe0fa9a4dc24fce18ae7f7668ddb15e5 SeqSubSeq BagEmptyBag TypeMismatch
c176af8f0c4acf267c80c8b21febfa3379e01ddf NumRange BagEmptyBag TypeMismatch
2b575ad427bafebe227f0d9c3f5f3512553fb9c0 NumRange BagEmptyBag TypeMismatch
535dbb002937b52ee03435793a90385ebdd05a71 TlcExtendFun BagEmptyBag TypeMismatch
92fbaff9d94ad0ef7421b4a244ccd1701324aeb3 TlcExtendFun BagEmptyBag TypeMismatch
d2d9c6ef2e92bbc1e6e63c02f747f6e839e0fb47 TlcPermuteFun BagEmptyBag TypeMismatch
7ad716f459c5d91d4e2e922dc7d6abb0b3e7c575 TlcPermuteFun BagEmptyBag TypeMismatch
7a7869876355e0f26eb1cef434bc7e31aeeec9f9 TlcSortSeq BagEmptyBag TypeMismatch
5e40886a66f9afe3fec8c91ef3939ace6f53c6b4 TlcSortSeq BagEmptyBag TypeMismatch
a2e1e2e06bba17c542b634e0dc07a2b2c5643ad8 BagSetToBag BagEmptyBag TypeMismatch
34c4718b398755f7842453a82be29773fa9a2032 BagSetToBag BagEmptyBag TypeMismatch
03d5face6abcb31fd1a877bcf4081039f5c1837b BagEmptyBag BagEmptyBag CanNotBeCase
540c0a4b355d5f91b9602632e4171a838bd1e179 BagEmptyBag BagEmptyBag CanNotBeCase
16cdf306de37d217957d93fb7ba1b80347debb71 BagBagUnion BagEmptyBag TypeMismatch
14d48f23a0a7353683a4efdd77319a71f32f1f08 BagBagUnion BagEmptyBag TypeMismatch
e621a1b40702609b429c6e9c9d2e697edc75b986 FiniteSetsIsFiniteSet BagEmptyBag TypeMismatch
c10cda147da6093df6ff7379e47f25ddefb01a7b FiniteSetsIsFiniteSet BagEmptyBag TypeMismatch
fba8d8362740a29cb662edd04ee32eb9fe36f310 FiniteSetsCardinality BagEmptyBag TypeMismatch
42f71c9fc1575c24b52f79e5a65bd82a68064b51 FiniteSetsCardinality BagEmptyBag TypeMismatch
a695d18d352f41805445a1849be05d7eca6d4601 SeqHead BagEmptyBag TypeMismatch
d36601a02e4a90ccb870a405f2571a5baca9bfa1 SeqHead BagEmptyBag TypeMismatch
f1cf92c7fbddbadb91dce82379464e1bcb0db3bf SeqTail BagEmptyBag TypeMismatch
85e7ffbbf2c42ec92afdc9a3314cf1fffe21b8a7 SeqTail BagEmptyBag TypeMismatch