Index

Skipped feature combinations by plug feature BagBagSub

Id Case Feature Plug Feature Skip Reason
c56dd7a43cc2fdec47d0cd111d5eda5d207d9451 OneLineComment BagBagSub CanNotBeCase
bbc65c68b1470d94bc782e26f433b23cf2628ddf OneLineComment BagBagSub CanNotBeCase
9b86cb7ca1fbeebb8c46ca61447bf501dd87ad05 MultiLineComment BagBagSub CanNotBeCase
d83f8068bdf358d3887f2e4ac3820aa5583dcf01 MultiLineComment BagBagSub CanNotBeCase
1cf0f19fdab0483a2305259cf3d53d4b7dd7d245 BoolTrue BagBagSub TypeMismatch
dcfcd5702a0df37159c53ff8550dc3d8d43abb99 BoolTrue BagBagSub TypeMismatch
0306539a237e00db0664d0cf800ac325ba83e961 BoolFalse BagBagSub TypeMismatch
a1a399ff1be5689eded41266c2302070d5229105 BoolFalse BagBagSub TypeMismatch
d4011d75d6f60922c9b54839e5f94d8eb5446284 BoolSet BagBagSub CanNotBeCase
f6cc399d203e0218ae9c68728291aa98428b0f89 BoolSet BagBagSub CanNotBeCase
805a5bb14e53fb54e8c820ac1b89fd9d196d60de And BagBagSub TypeMismatch
14c2105126208a509cc087fa2ab41b9bd5827e76 And BagBagSub TypeMismatch
39444f4d511afeb38c226e78653074ac08b13066 AndMultiLine BagBagSub TypeMismatch
3f9271a9ac845f8967d356541d26b5f2a5bf5817 AndMultiLine BagBagSub TypeMismatch
b27bde2e44218432594daed94825ee18d35d5eeb Imply BagBagSub TypeMismatch
45beeba1698a3d185d53aca352e485df253ce54b Imply BagBagSub TypeMismatch
7e08e0dbf5dcb9d5b43510efe6ebbdfadb466f0d Not BagBagSub TypeMismatch
d52358c97401e0ac92b7d2e0355225564998964d Not BagBagSub TypeMismatch
f333d2ce3a789455737ba691b66ae9eb33ef0683 Or BagBagSub TypeMismatch
14bed91e37232726c9ba941345b5cac9a5e295b6 Or BagBagSub TypeMismatch
a1ec86850069b59f767d57acc51be3287da95437 OrMultiLine BagBagSub TypeMismatch
311e9692f5a918055b00b103aa058641138a2ee3 OrMultiLine BagBagSub TypeMismatch
696237716e8154fadfcdf82503e952b38f5d2717 AndProp BagBagSub TypeMismatch
d42592f54bdba2ea15e1d1d8e66a558911641e00 AndProp BagBagSub TypeMismatch
72159e08b7de24bb4824905166c864d6434a73b7 Boxed BagBagSub TypeMismatch
05bca16c5aeb0528840c83d3939cd026fb227e03 Boxed BagBagSub TypeMismatch
efdc08979267ff7a4e058d16e80c5d0aac92bf4f SetEmpty BagBagSub CanNotBeCase
4c0897c70e2c6f6faa1c5c8f2fe2a82736fe27dd SetEmpty BagBagSub CanNotBeCase
329dd5c3c329274df52a72e2e053c2a96c368477 Set1InDef BagBagSub TypeMismatch
449d41b323641aaa9cfdfdccf18ad43f7e4e53b7 Set1InDef BagBagSub TypeMismatch
d18498af40e3c77ce7814e4c2b7ea33f26545fdd Set2InDef BagBagSub TypeMismatch
955f6037866dcc9d8fbb7a25196541ccee110a83 Set2InDef BagBagSub TypeMismatch
27b5824a365d5b5e88faff3cafc3a6c7cc3b2457 InDef0 BagBagSub CanNotBeCase
4a975e628519e7bb75252cc4c199695dc798ab2e InDef0 BagBagSub CanNotBeCase
9114db6ff7bf0bd9b81549a65919fc91d8e07083 InDef1 BagBagSub CanNotBeCase
f58b35af634f4fb800515008328235269dafa476 InDef1 BagBagSub CanNotBeCase
30885c4176285bc777c797db3c4bf7b8adfce157 InDef2 BagBagSub CanNotBeCase
bcc7506656dc741c1bfbfa5f7952c4ac71c1c298 InDef2 BagBagSub CanNotBeCase
1c00c421ec94ec202e3c797d275fcb8a981a1969 FunInDef BagBagSub TypeMismatch
35477966ae6b6d671386df8f4cb0d38de0978abc FunInDef BagBagSub TypeMismatch
b997f0e65f46f31da601ebcf7215ccc1c1ec700c Exists BagBagSub TypeMismatch
a315fbcc3bec1d862f6352bcfb162ddf8d066eba Exists BagBagSub TypeMismatch
a9512595072f9f578dbc9a72001e92d7f082de6a Forall BagBagSub TypeMismatch
4e060bd8ae21fcc10101e77a3b85f6221a7c72a9 Forall BagBagSub TypeMismatch
623f4646a2f0e380cbf2c49e58e5851875f3d707 ExistsInDef BagBagSub TypeMismatch
d50b11cc7cbb7c6731267100bfe9c188161a257e ExistsInDef BagBagSub TypeMismatch
f777bf3e09dc08d7fed59226e967f747074c63b1 ForallInDef BagBagSub TypeMismatch
09fa87b749377b1751e6a5a9ff4d3a15fed98b5c ForallInDef BagBagSub TypeMismatch
6f85fe58d6fd0222317b715694b657ca1b7cfad5 Choose BagBagSub TypeMismatch
8efb60de443d5654c2e25dfba4abf9c438a5bb0f Choose BagBagSub TypeMismatch
c24786f3256512b71786173eef2c24b8b9c01611 ChooseInDef BagBagSub TypeMismatch
15709259c96a74c76f11e4a9909f007988c7155e ChooseInDef BagBagSub TypeMismatch
c1b8c55cbf06274953d50b6bde1eeabdb4d11690 TupleEmpty BagBagSub CanNotBeCase
0dd25d5b30e420728c1d3ba6048e5b61017dfece TupleEmpty BagBagSub CanNotBeCase
98cb0b03a1f64fcb8d67141795b191dbdcfdddbc Except0 BagBagSub TypeMismatch
190ee1e9391f607e279b12d2d4266eb44b93c1c3 Except0 BagBagSub TypeMismatch
dff4d989a96394deb0600b8c073f43914e9b2492 Except2FunTuple BagBagSub TypeMismatch
105e0e4b8f9a0b22480cc059917a676d76fa859e Except2FunTuple BagBagSub TypeMismatch
f1d0e41919d29f96a8b34042ed5d68a79dd44f9c NumZero BagBagSub TypeMismatch
e360e71733fe73787a76f309143da3f3d6b42f2f NumZero BagBagSub TypeMismatch
aa11288d18e0b7a3f27f614bf02f7c895ce0888c NumOne BagBagSub TypeMismatch
d83d4bd2ee2b7333411c93237ddeab1dc367ce5a NumOne BagBagSub TypeMismatch
ef39f94cf658109c643084841db65ff82687ee7b NumMaxInt BagBagSub TypeMismatch
ed85c0b91bbba9e91ced2c64ff4307023d2ea504 NumMaxInt BagBagSub TypeMismatch
610e4bf4b5f7b98fe4bc57b6eec2127b60338648 NumUnaryMinus BagBagSub TypeMismatch
aa32e25e6a3934fcfad605eb79bff066c9e6756e NumUnaryMinus BagBagSub TypeMismatch
6526fbfcc4bf5a68f7500358a366ee95ebe1bb2c NumPlus BagBagSub TypeMismatch
57b88eb452c9a22e82834ae3e1a861036aace032 NumPlus BagBagSub TypeMismatch
7a20f654bef092bce226ee12dd8036787688f023 NumMinus BagBagSub TypeMismatch
4b44209e55f83460630864170c51a28943123562 NumMinus BagBagSub TypeMismatch
9448af102c66efea5c26ebaa7bae67f791640517 NumMul BagBagSub TypeMismatch
4a4e341661e5ad6aa9104a55de4b0b0e0d3b26db NumMul BagBagSub TypeMismatch
59589e5abbd0f294218458a19d878e4830473751 NumDiv BagBagSub TypeMismatch
420cfb2f6989ff226350ba0677d3bf37940388d0 NumDiv BagBagSub TypeMismatch
9be962d7c22e0a327bd626cd488358bd55fae561 NumMod BagBagSub TypeMismatch
fe0b504e29edf55681ee8d4ea16d951d7fd33928 NumMod BagBagSub TypeMismatch
274573fb497d5892ab88b70ae4e6ca949acccd59 NumPow BagBagSub TypeMismatch
6e4f8a1194ec522dc1e3277c9db79fb5e604a8d6 NumPow BagBagSub TypeMismatch
4125b05824a6c2498c040a52f0067f9639186467 NumGt BagBagSub TypeMismatch
c612c0e78844efefe412087cb907bbc8898a37f4 NumGt BagBagSub TypeMismatch
3b05d4be1e04d928890a2a18ff5c0beca0b5d5b9 NumGe BagBagSub TypeMismatch
9741a51d80123c1724fb82f0286d82cb5d20f92d NumGe BagBagSub TypeMismatch
fdf30c87171a368a8cb8704cfcb3cde77c6eac5a NumLt BagBagSub TypeMismatch
6257b177934290f94f44b3c699bb8f5783321d4c NumLt BagBagSub TypeMismatch
40843aca9a3394728384ed5fdcfb70555e267660 NumLe BagBagSub TypeMismatch
0c7c565add41c8cafd84bffeeefbafb3e0320175 NumLe BagBagSub TypeMismatch
7993f7a343dcc2f0d39ca3f386aa050118f5d8ef DefFunInDef BagBagSub TypeMismatch
ca4d07e15ea5d3c4a863ef9a5da564d74c144b00 DefFunInDef BagBagSub TypeMismatch
e64456491a29818aea07b133a454e49431b948af LetDefFunInDef BagBagSub TypeMismatch
011a573e1456d7b25cb56fee948e32e1917fa1d7 LetDefFunInDef BagBagSub TypeMismatch
964b8d2076c6667eb9708f95f694f1c7a24535c9 ConstantModelValue BagBagSub CanNotBeCase
c61c156ad32074ca9e2584743db3bb54884bccfc ConstantModelValue BagBagSub CanNotBeCase
5b013a6e2d1c41bcf64b975eb887a08b1931a6c0 Enabled BagBagSub TypeMismatch
9cbb2f66bc1df61cdc30880bbee156561d438a03 Enabled BagBagSub TypeMismatch
a061042a629aba684d61b7a4d566cb9d2b689b54 Assume BagBagSub TypeMismatch
5455b30a41c5ea59761ad032b7c3c1cc411a0d7d Assume BagBagSub TypeMismatch
8fa18e21662e73d17cb326e0adf08a98d232060a AssumeNamed BagBagSub TypeMismatch
d26288c75002a6d4729ddec8fa73b5fc26f30332 AssumeNamed BagBagSub TypeMismatch
587e785d64af24bbcd4db5ab04c1b1cb664eae5c Cross2 BagBagSub TypeMismatch
09a0e9d20c37d1089ff361cce48ff3c31e17f581 Cross2 BagBagSub TypeMismatch
60c72fa988c2ee037d2e78661778b78e272cce00 Cross3 BagBagSub TypeMismatch
79fc67dabb4cc65de5e4d81e7f3b6132ad935703 Cross3 BagBagSub TypeMismatch
8096e657528d36e19d92ac6c2dde2b34f7b3e364 FunSet BagBagSub TypeMismatch
ff75af19c0994747ac87ec7284ff9fbb0c324038 FunSet BagBagSub TypeMismatch
8506c5b6c8c5a972402ea8e151d9df2f6ef019cc RecordSet BagBagSub TypeMismatch
d468cc2f331e038af51a3c24b14f8628d68dc086 RecordSet BagBagSub TypeMismatch
b770b2c05737ba61c1027b240723ed6fdf9c03e4 SetDiff BagBagSub TypeMismatch
d05a2ec776d2c5503eab8a111262bff1cc3fbd83 SetDiff BagBagSub TypeMismatch
cc85629b9e10dbbc2181c4de99866ee4f0f6584b SetUnion BagBagSub TypeMismatch
d8891253a8059a3fe0e35a1d968813866bc8c17f SetUnion BagBagSub TypeMismatch
51671944e62a1d9f27c8d5497f7d3483be093603 SetIntersect BagBagSub TypeMismatch
69773ebddd5db925d83661a7c73e120f6a9b7c66 SetIntersect BagBagSub TypeMismatch
8de753b42a860c64e8454556df90ae56ca91adbf SubsetEq BagBagSub TypeMismatch
e536543eb345646f382cd20a4936843a45916eac SubsetEq BagBagSub TypeMismatch
7a62650e36f2b9fcfc4befcd0ac7cd57ff38129e IfCond BagBagSub TypeMismatch
e201008c4c1a0aacc1c398880fef638c5c986902 IfCond BagBagSub TypeMismatch
0f875223f180c611e089ff10efee8be8bfa88c74 Subset BagBagSub TypeMismatch
306126ef5eec3a00e5816017bcf30a4fbeacee4b Subset BagBagSub TypeMismatch
75206c00e83cafc7ae97d21ead5dc2f22b4d1b3c Domain BagBagSub TypeMismatch
e4b37d499b06e8ac665ed6c0b3ab56867ffa3dff Domain BagBagSub TypeMismatch
3324c77a65b8d082c42c97a67a3cbe4d78a8d2d4 Union BagBagSub TypeMismatch
84d2778f1ffa1e46b9bdadfa7d807e098f115a80 Union BagBagSub TypeMismatch
72196f3111775bf2f734485ae27ee24fd798ecb3 Equivalence BagBagSub TypeMismatch
4535534ca1b61ea285be8685e13fb21504a0c8fc Equivalence BagBagSub TypeMismatch
8a335dce5b78bb5da54cb606ecab460e1d8c729d StringEmpty BagBagSub TypeMismatch
ae166f5ed09884342f2f12fad22dbf0df3cbebfa StringEmpty BagBagSub TypeMismatch
8ba81e2fb282cb3ae4bac844db38ab46384343c7 String BagBagSub TypeMismatch
5587657ed368953ce4b6fbe49e7a8564a1e810d8 String BagBagSub TypeMismatch
66570b3b204c96a9ad26de0ac09e8557e12c7d2a SeqLen BagBagSub TypeMismatch
ab81cbcc5e18a82a0318990e8a9e247472fdc14b SeqLen BagBagSub TypeMismatch
178d658658e5462ddc30dfd60b0ca7d522d5c5b8 SeqConcat BagBagSub TypeMismatch
c452180941ea4f3e63c27d0bc42ddca3abbd9d96 SeqConcat BagBagSub TypeMismatch
138be911065aef98f6d58238714a00651bb856ac SeqSeq BagBagSub TypeMismatch
1fd4a529c740c8d748ff8218a8f4d84fbf23ed40 SeqSeq BagBagSub TypeMismatch
da11b0774a4f7779e93f3989422042ff16a01074 NatSet BagBagSub CanNotBeCase
9cb9c0612782c34d7fa38a819b7cfa44da49c8d5 NatSet BagBagSub CanNotBeCase
fdd3d94d446135c51e7c33be4749f51509202ee6 IntSet BagBagSub CanNotBeCase
430d85c87e2847ce85acf959f18daff6e081fc35 IntSet BagBagSub CanNotBeCase
db60e5723a4595094f0351356b1e8ecf9074d9ac StringSet BagBagSub CanNotBeCase
dd66c22c8f134bda703922c061f3dbf717f9d9e7 StringSet BagBagSub CanNotBeCase
ef2210b6b74af46e0c056fb57e21f2435723218b SeqSelectSeq BagBagSub TypeMismatch
fbd412f9c11bd6afc771310fff50b33c52e7a223 SeqSelectSeq BagBagSub TypeMismatch
dfe8137f2979b97a8e37984f9770251cd31b9a69 SeqSubSeq BagBagSub TypeMismatch
8a7be150cbe367e97e638ab9d071dd1dc5f39847 SeqSubSeq BagBagSub TypeMismatch
7423937154a24c55cd53cdacce419fd8b6d18d85 NumRange BagBagSub TypeMismatch
756fd34b16c9752126f090aef0bec6d9a241a48f NumRange BagBagSub TypeMismatch
66352015883ce032aab788f6aa439117b3ab7e68 TlcExtendFun BagBagSub TypeMismatch
6b91f80765000da98848ca62404bc4f2632bb0d7 TlcExtendFun BagBagSub TypeMismatch
cd2ca7d36b031f1c3246dd224d9483b81e604d33 TlcPermuteFun BagBagSub TypeMismatch
433a4b1e2894a0babba9d48dcc12c441cb3a2393 TlcPermuteFun BagBagSub TypeMismatch
80901b1e9f52258a9f9457a1cb3d360cc7f219eb TlcSortSeq BagBagSub TypeMismatch
beace2c1ad0ed940526706685ebe43cd04e299ff TlcSortSeq BagBagSub TypeMismatch
92ee1dc6484716621e2289c691e277c7ec5a2825 BagSetToBag BagBagSub TypeMismatch
2db198159b386c6e940c379205c3e9489e2d8765 BagSetToBag BagBagSub TypeMismatch
174a028fa59b50a32fb464e2428e8c43f3a2bbc5 BagEmptyBag BagBagSub CanNotBeCase
d2d93a8ee86f293aae2d8427562434f019fae024 BagEmptyBag BagBagSub CanNotBeCase
5e28742479f00b1193dae6620f7ff56907bdb546 BagBagUnion BagBagSub TypeMismatch
7c77845345032efa1529841fe87f6c703a5da2e6 BagBagUnion BagBagSub TypeMismatch
b98185373f49ab3e744cbc8e63c8611842ce64c3 FiniteSetsIsFiniteSet BagBagSub TypeMismatch
2d3891d086cda2acea146f7dd4db8c7aa83b5914 FiniteSetsIsFiniteSet BagBagSub TypeMismatch
b0aad42fe9f80911916411cdca173736d889f4fd FiniteSetsCardinality BagBagSub TypeMismatch
bef98413270ddde5e58432a5265cef9aaff992c1 FiniteSetsCardinality BagBagSub TypeMismatch
f0936c2a30cd34b875a8079cacdda23861da5a8a SeqHead BagBagSub TypeMismatch
1d6406323f19bd083f2b10e29ce7ce7ebeb93da8 SeqHead BagBagSub TypeMismatch
a2d8c1c6eeea129e2a55727249f3481caafef3a1 SeqTail BagBagSub TypeMismatch
004014e72623f8874fff632f8b65948ecaa906fb SeqTail BagBagSub TypeMismatch