Index

Skipped feature combinations by plug feature SubsetEq

Id Case Feature Plug Feature Skip Reason
720ff379ad9708690668fc19a223cadadd77d00e OneLineComment SubsetEq CanNotBeCase
579132d2f9209775d6d7e5384dd08fcb16d6f5ca OneLineComment SubsetEq CanNotBeCase
27a66a7ecd54e562f6d0cbbce765e15071e564fd MultiLineComment SubsetEq CanNotBeCase
9165d129ab81169975834222219f262752f7a4b9 MultiLineComment SubsetEq CanNotBeCase
138378dc51d365ed8ca135963536e93c25d07924 BoolTrue SubsetEq CanNotBeCase
8fe13ab5e344c395034beaf4034713a429080b32 BoolTrue SubsetEq CanNotBeCase
7b6f2c12af683f6ac7550cd7f0e57c70e020ddad BoolFalse SubsetEq CanNotBeCase
8496d26d7c037005e2f3c5a8f7fdd2fc8f7bb42c BoolFalse SubsetEq CanNotBeCase
a7dc75591bf3b54c4fb85bc2b66af2bd1e97f227 BoolSet SubsetEq CanNotBeCase
fe1a22074a822a0fed1d8d52dabf25c3dcf21c1b BoolSet SubsetEq CanNotBeCase
b8d34001569102901431fd10fe1b51fb16a560d6 SetEmpty SubsetEq CanNotBeCase
359dbced03523b73c32d175381e153675cccef88 SetEmpty SubsetEq CanNotBeCase
066a420c79134ccdd8be752fcef56d30a135249a Set1InDef SubsetEq TypeMismatch
b771d20114f386401d9962103bb8c289af87b929 Set1InDef SubsetEq TypeMismatch
66a3ceadf02677719116654aa8f2aa7c39a29305 Set2InDef SubsetEq TypeMismatch
5fb03836f8bb1025e85d0d35f1d90d8512dea849 Set2InDef SubsetEq TypeMismatch
567d2c9da6349c8f045f4a6f94bca08fc4fcebb7 InDef0 SubsetEq CanNotBeCase
02ac18414e25a27d5690c667007ff55b150d7c10 InDef0 SubsetEq CanNotBeCase
79cd9621024863a30bff8584068075a30d3613a7 InDef1 SubsetEq CanNotBeCase
634f0b69b2788745f50c9016bf02aed4f6d06d85 InDef1 SubsetEq CanNotBeCase
e2d1414c77a60790062bdef5f1e50ae88d0a89c5 InDef2 SubsetEq CanNotBeCase
d0c3b7ffcc869a3ddff797dab327fb0dbb50b46b InDef2 SubsetEq CanNotBeCase
316664c418577f39713df4ae768345f51eca4fdb FunInDef SubsetEq TypeMismatch
82ee9ab577df51ea50cfd05a23cc59dd50e2243e FunInDef SubsetEq TypeMismatch
c7bc7dfecf2952ebb7818aeac4a90d2b8b230d0b ExistsInDef SubsetEq TypeMismatch
38c4cf3991d21ec55ea0d48df504cd2aca714643 ExistsInDef SubsetEq TypeMismatch
beab48824f65082152e3e43878908a332a6a11de ForallInDef SubsetEq TypeMismatch
4753e3647ce1ad964cb8ba8d5457772966e85768 ForallInDef SubsetEq TypeMismatch
0d11dca2ea644601ff49c8fc045d5453f5c96e61 ChooseInDef SubsetEq TypeMismatch
1133379269c9cb188728d0e214779cc86d843128 ChooseInDef SubsetEq TypeMismatch
f7478779bdac39be9b195a2d4d4a89c25b205057 TupleEmpty SubsetEq CanNotBeCase
6c7f446b923bfb257c9a6e7b687063f2c6320671 TupleEmpty SubsetEq CanNotBeCase
73c6ac08392ff0090949b89809bd8cfd20aa0d8c Except0 SubsetEq TypeMismatch
d13307ca9ea2572f6de66b2aaad99937049eddef Except0 SubsetEq TypeMismatch
bec1fa91c47a288b2e52f5bb3fc8cb76296aa0ec Except2FunTuple SubsetEq TypeMismatch
28746c4457c7034e328f059cd33f8fc4b2f37a8e Except2FunTuple SubsetEq TypeMismatch
7513b3e4d456e92edff4a44460a19050ca59ea6a NumZero SubsetEq TypeMismatch
1a1711222962cd6a46787af9dec147e9c480acdf NumZero SubsetEq TypeMismatch
f8c08877541b9495401d833521ab2b4dd61a4f1f NumOne SubsetEq TypeMismatch
15bdf131ca5d12a753554a11ea65ed8c19fa90e0 NumOne SubsetEq TypeMismatch
1fd60392db9ba0d15fd13ef0055fe3658caac459 NumMaxInt SubsetEq TypeMismatch
d6d2d1b81a0dcf20f1a7e463a79c131fcf77c55e NumMaxInt SubsetEq TypeMismatch
96c686d928b2534c680e2c8eac27d5dcb6fe3a11 NumUnaryMinus SubsetEq TypeMismatch
01550f48278a86e1c7150b3de86aa4062eca7547 NumUnaryMinus SubsetEq TypeMismatch
391ab2fd90b566569d9219267a0d8206c0769ce7 NumPlus SubsetEq TypeMismatch
366ff87c96a8c7e02b4eb30778c17970d2a8d6e4 NumPlus SubsetEq TypeMismatch
6614a56aacaf38eb50e5604d2287f30334deb714 NumMinus SubsetEq TypeMismatch
676fefcb3cf7c94e5cb23caea8378b76e85a1ec2 NumMinus SubsetEq TypeMismatch
2968ee9ea4f47793d53d2263bc5ae3285694abcd NumMul SubsetEq TypeMismatch
17a2099509d4c5c51e4047ab9562a2262e8e6d4e NumMul SubsetEq TypeMismatch
6763b73fe314c0e075d3dc62c0b1c0784d6fe648 NumDiv SubsetEq TypeMismatch
ac89b837d214bfb8dea739ecac8199b003fdcba3 NumDiv SubsetEq TypeMismatch
4e1c3914fe82c434916ed0ba750956b6f8fd546e NumMod SubsetEq TypeMismatch
dcef566313efadd2b3501644b1da2544d2eaf376 NumMod SubsetEq TypeMismatch
487fdbd5f4154002ed50f86d7ff4eee12009aa47 NumPow SubsetEq TypeMismatch
eeec42bba23281d50600e1e7d3b1223c50e1ac24 NumPow SubsetEq TypeMismatch
936817efcf5c349e6e2ba1e1274c7d36e4443019 NumGt SubsetEq TypeMismatch
9e54502c56222f62128155980ea4676a1a15990a NumGt SubsetEq TypeMismatch
bfad4fa537efc4435764112bb08121faae3bacb3 NumGe SubsetEq TypeMismatch
7191c4a1ec9ad2408e66a4c9df8d125fa6c9703a NumGe SubsetEq TypeMismatch
520263099328fa9469be3c3884a62049ba67c33b NumLt SubsetEq TypeMismatch
0a73d9fd5ace569026a44a3169577587ab90042e NumLt SubsetEq TypeMismatch
8e5953d74a90144b561bc3e62cd512b54de95a63 NumLe SubsetEq TypeMismatch
01bbf52f34c2f52bcbf9e76db0bb7f0e045a4bf0 NumLe SubsetEq TypeMismatch
d5124544f0ed31cc5a44a38863c933b5837fe62e DefFunInDef SubsetEq TypeMismatch
ded9c8d3c765fa39109150eec55ef497fce1aae2 DefFunInDef SubsetEq TypeMismatch
3af65bc51e92622b57bdce1a5e17a1bf10079ba0 LetDefFunInDef SubsetEq TypeMismatch
a5a17bdf9468cee50e3f5b56b1eaafae568c1080 LetDefFunInDef SubsetEq TypeMismatch
d676f4ebbb710fe6adfd2e7a9ef984189e81d4b0 ConstantModelValue SubsetEq CanNotBeCase
ec6b748cc2d896a990b643fb1599e4177ae5eee4 ConstantModelValue SubsetEq CanNotBeCase
8774b5e3f10318c6b9993dc6d0f7186a94fecac4 Cross2 SubsetEq TypeMismatch
ba43e13106f3d0dd7e267eb9908b6aa67d0944a5 Cross2 SubsetEq TypeMismatch
032520616ecbffd2ac6ecddc3cc960ce001648c3 Cross3 SubsetEq TypeMismatch
9b3fd9d448623d1c52c1da5cabe8440544c11910 Cross3 SubsetEq TypeMismatch
eaae5adaf72d98414a5fd5f60defd820271a46a6 FunSet SubsetEq TypeMismatch
a0f294ad5d126c593296c69e010449b71a7b218f FunSet SubsetEq TypeMismatch
cd07eb70bb83ea6d7714ab9cc44df16b7d261c01 RecordSet SubsetEq TypeMismatch
2c68bc2b5063c7a3ce652dcf7d4e5038034d8e5e RecordSet SubsetEq TypeMismatch
d8c416610db9edeed661853a703c1dc06cf1965a SetDiff SubsetEq TypeMismatch
6e67873641d3ab8422f217e9d5f40be5c99d89e8 SetDiff SubsetEq TypeMismatch
8a4938b75b949f16b4141c4e6ca3671940107022 SetUnion SubsetEq TypeMismatch
19d736384506b7ce8f3b6309e354fc9f9544dc9d SetUnion SubsetEq TypeMismatch
3e50e015f40d1ee70a96a1b59fbe44e70bedc778 SetIntersect SubsetEq TypeMismatch
ebde1aa4d4ffc06150d5a82b007bed714da4649e SetIntersect SubsetEq TypeMismatch
fcbbe733aeec02cbb30cf0f6879a386ee13b6286 SubsetEq SubsetEq TypeMismatch
e2dd15c8d7b44054c2458b116590950951018c48 SubsetEq SubsetEq TypeMismatch
6e6ece1759bc9335ed121c1ae9fa6995204d2d4e Subset SubsetEq TypeMismatch
d522cd8eb94905ad79d4309a2f04d941ce768fcd Subset SubsetEq TypeMismatch
cf3c083b69d22ad235f2a69ac5d45dac5cf96c66 Domain SubsetEq TypeMismatch
f939c197cb8c19e286fac1c1bc10c2de104cdd9b Domain SubsetEq TypeMismatch
5499aecb50438bd4fb83cfee8cdfccc44db839ed Union SubsetEq TypeMismatch
8ac2461dd3a9139cd7d5bf3688d2ac193cf8507b Union SubsetEq TypeMismatch
53bbf1a8fab535730bbbeed4bc13e94067452d44 StringEmpty SubsetEq TypeMismatch
6c71e98e1ad89734e2537b7712b9e18cb0652b90 StringEmpty SubsetEq TypeMismatch
bed7976323343c4e2a2a1cd4757064ea5e16ec99 String SubsetEq TypeMismatch
191ddfb023958ea8c6a9e0912cd9ed58d4b54504 String SubsetEq TypeMismatch
037d8d7ba0491a913daf7222703f274d501ea053 SeqLen SubsetEq TypeMismatch
b4a4119e01a5255e82bd1ef616b16ae4213c3dad SeqLen SubsetEq TypeMismatch
6144a5c6571a140f8e0d04a15de98606a2dcaf89 SeqConcat SubsetEq TypeMismatch
85ee39fdf53a8ea7a44c22498480a0fdf7b1a1ca SeqConcat SubsetEq TypeMismatch
53eceb12c2443406ad4fa63cd563ec18e20a4d54 SeqSeq SubsetEq TypeMismatch
75e05558f2059168953fb7105df3d7834245daca SeqSeq SubsetEq TypeMismatch
de50de245df695750aad8a92c95600720ed60b0f NatSet SubsetEq CanNotBeCase
45a2276c23551ae2307460da7717604e24d61530 NatSet SubsetEq CanNotBeCase
2494b995038393546a626c6a20a7514472480cf9 IntSet SubsetEq CanNotBeCase
bd5098fe6f5fd08e210318fc85fcb0642c7fe2f5 IntSet SubsetEq CanNotBeCase
4b7aefb773f66227e0cbfdf83702572448936896 StringSet SubsetEq CanNotBeCase
6acebcb12ea221b7857bb423cc50ab42acdfa630 StringSet SubsetEq CanNotBeCase
20f282b01a47b3175e11aaf578747bdabec1258a SeqSelectSeq SubsetEq TypeMismatch
fae116aa4139f0384d815ae01cf6ad03046d444d SeqSelectSeq SubsetEq TypeMismatch
c2b596adbaef1839a42eefafdce71072535117f4 SeqSubSeq SubsetEq TypeMismatch
d1b1988a524cbfa1b71f85153aff16753e1bae88 SeqSubSeq SubsetEq TypeMismatch
620b7d40a74831db17fb79eb5b2759c90283679a NumRange SubsetEq TypeMismatch
1fdca58711af7cc0c97075261331362d92793fd3 NumRange SubsetEq TypeMismatch
4050b399bc2757613cc1dedf835b3d1d2649216d TlcExtendFun SubsetEq TypeMismatch
a08d3d0f9121426b890f5098a8607c462586220a TlcExtendFun SubsetEq TypeMismatch
5e53c881fee59ec93eaa7d3d6aec0fd8e8288a17 TlcPermuteFun SubsetEq TypeMismatch
1108df920a4b834da962f3ad5e67868e93022e21 TlcPermuteFun SubsetEq TypeMismatch
174c327bf0bd2f8784eb99ed96a2867d4a192e5b TlcSortSeq SubsetEq TypeMismatch
6b97eae298dd520da174a0839782fb4416cae821 TlcSortSeq SubsetEq TypeMismatch
dd1616c0cd93ee7ee2df70ea0ebd1bd6f6793c6e BagBagToSet SubsetEq TypeMismatch
10d556e597ad2e0792d6fe1df0c4ac8d0f7541ed BagBagToSet SubsetEq TypeMismatch
ff035f5017a071dc581bedc88de864baceeb816d BagSetToBag SubsetEq TypeMismatch
1c74acbf7579f6754df3b46be9a686b278eeda26 BagSetToBag SubsetEq TypeMismatch
ed4d53eea93edacfccb58e5e16e8b45ce41b45e4 BagEmptyBag SubsetEq CanNotBeCase
442382d96dce72cce8e3591e582071001e32429c BagEmptyBag SubsetEq CanNotBeCase
6cba537147837c1ea8ac546804997a805219d68f BagAddBag SubsetEq TypeMismatch
f86a6fa2484c33ec83a5db1cef376074d2435be9 BagAddBag SubsetEq TypeMismatch
be552d9c002df0e06f61bcf447fc563cf11d0808 BagBagSub SubsetEq TypeMismatch
c1e989a412968f332948c787e44ec16fbd725e6c BagBagSub SubsetEq TypeMismatch
33bb21b7cc32d3c6bbfd38eecf98405262f579bb BagSubsetEqBag SubsetEq TypeMismatch
409da055fdc165951c57ffca9cdbf7676eb1e761 BagSubsetEqBag SubsetEq TypeMismatch
0b8dc445bfcb787b8c5787c55af2c3151cffc788 BagBagUnion SubsetEq TypeMismatch
812529eb6c1e806f509208df1fe4f461587c0351 BagBagUnion SubsetEq TypeMismatch
1fa2733b2e93b945c3c5e677028c43cf86010a37 BagBagCardinality SubsetEq TypeMismatch
0a605fcf22e10c56ac8b3f024eb85c96e4288b65 BagBagCardinality SubsetEq TypeMismatch
4dfdad4f380aea6fbab589c09df8bffa19d58b42 BagBagOfAll SubsetEq TypeMismatch
35dee189d9abe260f95932e3af3f5d2c81a1517c BagBagOfAll SubsetEq TypeMismatch
b8a4b70de1bd771a467209d53a8e2130ca56f065 BagSubBag SubsetEq TypeMismatch
5ae516d42c6acf0e9ff4c1f949cee58c5c247c5d BagSubBag SubsetEq TypeMismatch
a4bacb29683d1f2df90d9454de8cc4509028c346 FiniteSetsIsFiniteSet SubsetEq TypeMismatch
d183205860e8e9f3e830d35fd4042a5000070b43 FiniteSetsIsFiniteSet SubsetEq TypeMismatch
25f9625093afcfec23258aa519a397e8837d743c FiniteSetsCardinality SubsetEq TypeMismatch
afb7c6518a18a1af2088b0b933b9e94f18425300 FiniteSetsCardinality SubsetEq TypeMismatch
0a51ef4ec798c761a9ef145d866100ff736446d4 SeqHead SubsetEq TypeMismatch
33f70ea9ed3386925e7c238da7ed7f531fffb336 SeqHead SubsetEq TypeMismatch
2ab53fc87df8d70aaba71fa48f0b2d3f05db572d SeqTail SubsetEq TypeMismatch
c65abaee8ab3a05fd5fd0d7605842d7ec99f20d0 SeqTail SubsetEq TypeMismatch