Index

Skipped feature combinations by plug feature Eq

Id Case Feature Plug Feature Skip Reason
fb3317fdb3c3b72179e9c6ddae3090f938357707 OneLineComment Eq CanNotBeCase
ed9b071feb2ce7f3f290088cdbed9b8e7ec12499 OneLineComment Eq CanNotBeCase
440637a72bb84cc396ac5b8379b93775bda01e3c MultiLineComment Eq CanNotBeCase
ec9aad4f932d23a39df25f1a7f021bb0708c09f8 MultiLineComment Eq CanNotBeCase
cf139c24995c6aabc6f5f5ea4e6a3afa838e1536 BoolTrue Eq CanNotBeCase
0d096757369743ab849ca2eea17487fea7b16195 BoolTrue Eq CanNotBeCase
cadfc006b063bbf0bd20c76f7f25df13b022c206 BoolFalse Eq CanNotBeCase
1319e2ec9cfa85ddd2dab23fddafa72672c53e3d BoolFalse Eq CanNotBeCase
59e1dea0755aba2a72b88a10911f4eddb4ac21ed BoolSet Eq CanNotBeCase
231e1c91c81f9bde6e75653e5c1378b2fc99cf51 BoolSet Eq CanNotBeCase
09dd7975a3fb769720bdf5dd222dc6f5d7516d77 SetEmpty Eq CanNotBeCase
49a10f26f4693903570fc2325bf119b674a708e0 SetEmpty Eq CanNotBeCase
6ad8a3ed9a6f22d79c1cf2440ebdf6a68b2f8a7f Set1InDef Eq TypeMismatch
087841b58d67ee1c98088d3e1df39dfcf808da64 Set1InDef Eq TypeMismatch
43145628bb2dc9793356145345631f78c4f779f5 Set2InDef Eq TypeMismatch
2482c6dd2b0594f4ed1c954b8748f9a7d0f30759 Set2InDef Eq TypeMismatch
c49748e455d49d4dcc0d46a30e7c8972ad4a8fde InDef0 Eq CanNotBeCase
f43ea2b440fb0b40c223f3080d6ed6d10ee54d97 InDef0 Eq CanNotBeCase
976c0f13dee82d9e68e6df9df480eb14bd5d0868 InDef1 Eq CanNotBeCase
ce075d384b961c7450b7d9d9d586bd3aa3703e67 InDef1 Eq CanNotBeCase
2900dd561ee781174a2d192384b5e3850d26d8a3 InDef2 Eq CanNotBeCase
7d975d01d7a474592aeac29ae3f6ea6a9c57496c InDef2 Eq CanNotBeCase
6e60c9430f9590ab4c20a2ba1f072a4b14ab35a7 FunInDef Eq TypeMismatch
14bbc2fadd833e256a413a1f948459b1025bbba2 FunInDef Eq TypeMismatch
0b0cdb4f8ffa046706bcaf7e0c74373e405106db ExistsInDef Eq TypeMismatch
ebbff940096a2ca469c211f4ceb764e1c3fa3cf5 ExistsInDef Eq TypeMismatch
ddd1107c7b7c1c350524f25f57462cfc002bd509 ForallInDef Eq TypeMismatch
f22664447ce617de5beef9c7f5a342379bd4238a ForallInDef Eq TypeMismatch
d08192290fe87737469bc514c86856a9e3025b61 ChooseInDef Eq TypeMismatch
53e715c613eaf7b0df96bd4a04c1ea30528a1b44 ChooseInDef Eq TypeMismatch
4ed7577d4954a4a8ab48f0bc1e8ed19723a763b7 TupleEmpty Eq CanNotBeCase
ad4d05315d5aa9d0fcded3f8abbdca7abcfd919c TupleEmpty Eq CanNotBeCase
5f63f5b1267c2c0a2461a7441fd5d910d9b67ceb Except0 Eq TypeMismatch
b5449489aa217a3dd2ae7f1c06212a30def0d37a Except0 Eq TypeMismatch
7c3d0cfe792e85655825c5276a46671dcf49bbb3 Except2FunTuple Eq TypeMismatch
43dd22b47e3882ba36e0cbbcce7ebc1a95d27de2 Except2FunTuple Eq TypeMismatch
0c6b3329bea4dbaa8de20d197ed426f5aaa2b320 NumZero Eq TypeMismatch
0315600b03dff6d4c92f774f8cdb5b77ad1ba372 NumZero Eq TypeMismatch
f27224b9c07eefb69da7e81c648c5519db1c2b86 NumOne Eq TypeMismatch
ec73769a27bb4cd6e88703e84344e860b3d9635c NumOne Eq TypeMismatch
ad97721bcb9c6954c3eddc291f311bb0f6600835 NumMaxInt Eq TypeMismatch
460c1244f45300d14e3455e9789db0000da8841b NumMaxInt Eq TypeMismatch
9d90cb512043bec1ef912a7e3ec62d143ac96440 NumUnaryMinus Eq TypeMismatch
60e8859b3b69d8bc6af56e8d944c55b9f9c43597 NumUnaryMinus Eq TypeMismatch
233a44c9e01f67261d254ed428385cddffb23294 NumPlus Eq TypeMismatch
820bbfd859c42f87a8bf735fe35b358b7f1f5edc NumPlus Eq TypeMismatch
59fc508b9e7a86d84f53e4d9b1c7bb39b8abd904 NumMinus Eq TypeMismatch
7b7a0eeed6dbb3dff354837ccabb02cc7c861ed3 NumMinus Eq TypeMismatch
4411614ccb84950811da6237444a91fc26f46ceb NumMul Eq TypeMismatch
57274d83735cea788c241497a9f3c8f68fac1c2e NumMul Eq TypeMismatch
3e065c2b1d2e88052c6fa096f820ecc658007472 NumDiv Eq TypeMismatch
c4e9b7f344da5223f0fbfb8b4ee26ae076f9ca01 NumDiv Eq TypeMismatch
aa27a93b649fa23045f586d0cbaf2f6193077793 NumMod Eq TypeMismatch
f8c48f9a47b32cc80fdf23cfe419ba0802eda8a2 NumMod Eq TypeMismatch
73e88a1212c4df36e7a9298d1cecc571b11638e3 NumPow Eq TypeMismatch
1dbd5e8aaeb3c50d838c4cc14928beea00e0569f NumPow Eq TypeMismatch
f543171ca993b174e1b760177ef99475f8cf3ed3 NumGt Eq TypeMismatch
34ad9147c04f0ed7dec26d876df59537b400d626 NumGt Eq TypeMismatch
493c8b99f0714351d39d10c943054ddc17f7e339 NumGe Eq TypeMismatch
436cb360b214a1243492fbf22593df10955e72fb NumGe Eq TypeMismatch
f8308dd7a1e908a5f8888a0e5c4bd74e922b1bc1 NumLt Eq TypeMismatch
259ccc9c1355f1adc6a19ed62f924c77ec48d762 NumLt Eq TypeMismatch
e14f204089c300b97878e7481803c74ff9c56517 NumLe Eq TypeMismatch
1dc929318b177cf45e456b9fd8c7a7a35a3cc736 NumLe Eq TypeMismatch
0d20b17f5cefe6e5d1bbc6f6c9dc5cae23080b1b DefFunInDef Eq TypeMismatch
683fc648a3b1ea7573d1f5787b84322d089faa4d DefFunInDef Eq TypeMismatch
8d028464b3b36fa1f13ee5847bf2dada1ff816db LetDefFunInDef Eq TypeMismatch
e1a32dcdc955a9d051e35d395b3417f6279c5eda LetDefFunInDef Eq TypeMismatch
414f452e675cf8e7d126b251d5e3fac38d6d4d22 ConstantModelValue Eq CanNotBeCase
a0d337a476952e14db8e1acc0caa87fd820b34d0 ConstantModelValue Eq CanNotBeCase
33d3f2d9fb3b87a055c87e3031a937a109127dfd Cross2 Eq TypeMismatch
0b76cd0333aa4c58cd32db429e9a42606da60b95 Cross2 Eq TypeMismatch
0508e641fd5930c3622be5527c296ef9693b5e46 Cross3 Eq TypeMismatch
536d0f82dd4e89a37a3293eb21c0fdf5daa4b719 Cross3 Eq TypeMismatch
901ec3388b1aff8b2693989bbb323276e844af37 FunSet Eq TypeMismatch
cdf2351062bdda47776e3f822afbaa53c2c88814 FunSet Eq TypeMismatch
d19d025173265096b6589cb981357128622d886e RecordSet Eq TypeMismatch
1c985ef8b86141f1c4c9b1f50b5a0557e44b238f RecordSet Eq TypeMismatch
4411ccfe83ab55e411b0965e461aa1279a5f9aa1 SetDiff Eq TypeMismatch
391f56f93c6ac7d9a162e11b346fdb36ce828615 SetDiff Eq TypeMismatch
f7e63a41be463d2d6e68baa5f2eeb5e93c99c50f SetUnion Eq TypeMismatch
8b3028fabd1c8a51d4eef3b0dcdfe930221421fc SetUnion Eq TypeMismatch
7b50333e6ff3f2078ddcefebe145ffa064b758d7 SetIntersect Eq TypeMismatch
f83f435297760ed79ea1b94da0ccd0854f1637d9 SetIntersect Eq TypeMismatch
da26de66ebe7df0d8fb09dde6e180d06a948d7e3 SubsetEq Eq TypeMismatch
5ba79a4e8da5c47170d7b2484ed9fb30b6f29e7c SubsetEq Eq TypeMismatch
d2435aa23a178051b7b25cf012aa7eaa73b97a92 Subset Eq TypeMismatch
249fd2321911f6acd845ceec2b27bed11a5a74f1 Subset Eq TypeMismatch
9fe5b212fa45328962acbd752af70873e070d33d Domain Eq TypeMismatch
d9125f56e31b877d7c4b1caa0ac870622adcb43e Domain Eq TypeMismatch
2d9c35f03b2b492b03ca8bec13996c3c91d84ce6 Union Eq TypeMismatch
582e9cc0983eec5da81eb570af8e3e2687869050 Union Eq TypeMismatch
2d0c3612f7cf0f5c9b1aba7d9fe64fe41ca1c9b9 StringEmpty Eq TypeMismatch
a7541309520495d85bf544db6338246f00fc464f StringEmpty Eq TypeMismatch
92d1fbe69dd5a7df1eac187dbc97502a0f5f27e7 String Eq TypeMismatch
eac558ce4e1468e183883d9a6f37b2aeb1d506ae String Eq TypeMismatch
10c9539147d9f80a038c7d1a46592e68509bcb0e SeqLen Eq TypeMismatch
bc994194e680051c9afd715858595d221b602577 SeqLen Eq TypeMismatch
bfb72fdd63fd32e007bb8055382ccb5b45be4932 SeqConcat Eq TypeMismatch
bb461c9bcab62f6b6a95091a592317b3d7bbb498 SeqConcat Eq TypeMismatch
4c8842206ffc7f91921e41884c90b0921146ca1d SeqSeq Eq TypeMismatch
6f81437a19e9e0f40aa4cca850585a873cd8cbb9 SeqSeq Eq TypeMismatch
bed9dfc3b137392df7d9debaead9c6cbfdaeb7ec NatSet Eq CanNotBeCase
e23f15963689a4606bd499bd531c6c995ea58f8b NatSet Eq CanNotBeCase
bdaf3f01b7b7e044a7c26ba810455546a9cd5d12 IntSet Eq CanNotBeCase
dcaaa3df825f656e02aa50438499395d1cab8149 IntSet Eq CanNotBeCase
e502b2cb918f30d9d6e40c7f139622a0b297d570 StringSet Eq CanNotBeCase
0f5bb148a35b019d20978be9235feb7473a1a7d9 StringSet Eq CanNotBeCase
dda981e39aec8b9701512f89cab613a2c016f8fd SeqSelectSeq Eq TypeMismatch
9b7835c694cf21bea8ae7a62528377d5fc92b981 SeqSelectSeq Eq TypeMismatch
5033ea251dd61b55dfab00a984c2a627a32dfb79 SeqSubSeq Eq TypeMismatch
94404aa0c7fd050863d4fd612fe4d829edf8b9cd SeqSubSeq Eq TypeMismatch
c6abc759bdad8a27456d52838214b972f6cf03bd NumRange Eq TypeMismatch
2e63323a7200392d9055df3ab704ec87b239d453 NumRange Eq TypeMismatch
fcdd5f7b64fe072ebd64c41627ab724b8d00739a TlcExtendFun Eq TypeMismatch
3e7b91d90cd137690038d96592af41ead46fc58d TlcExtendFun Eq TypeMismatch
237c58152169eb2ccc4f8054e628c77085ffad83 TlcPermuteFun Eq TypeMismatch
78b236b8502eccebcf450ff69d588160c6ee00a1 TlcPermuteFun Eq TypeMismatch
27e5579860b0d9da46834d96c6866418f90da8b8 TlcSortSeq Eq TypeMismatch
4723a961c3b8649ecf77e7670fbed7c39b0d4091 TlcSortSeq Eq TypeMismatch
b30cf85f75e9993c684cb05a1f072c285fd717fd BagBagToSet Eq TypeMismatch
563f4de6b5f97f9d5099e64333a254a9fae88af0 BagBagToSet Eq TypeMismatch
6c9c3a17cb75dd2b0846981f1d3ae9308a8be734 BagSetToBag Eq TypeMismatch
0b9297e39a77ddbd22ef3c70af2fc24c2115e7f9 BagSetToBag Eq TypeMismatch
1b0bf9f01c8e1f7b45b67a8e325ea2985bb67a3e BagEmptyBag Eq CanNotBeCase
b8486f08b7612e1667a4eaf2fc621b4009d6de73 BagEmptyBag Eq CanNotBeCase
dca041f61bfbcb2ecdb4769addf8458947abf940 BagAddBag Eq TypeMismatch
05bac4b6b693a4e2fbcefe1012195a6a26ed8f3e BagAddBag Eq TypeMismatch
fe5144c96f2203997688128253c24b57241e156b BagBagSub Eq TypeMismatch
6bb613309c98c27997769876640e9e1f4eb08fe3 BagBagSub Eq TypeMismatch
abff43f83bda3b9f0b38f3e43b1f66d46f1ab66a BagSubsetEqBag Eq TypeMismatch
d033410f950b3deab0cb2545a3e66192835954bc BagSubsetEqBag Eq TypeMismatch
91562f81be1b3d5134b375719ee9114d9dcbb00a BagBagUnion Eq TypeMismatch
ca7130e1b6d28656bc20ad6f89dbd9f3fb87d3a2 BagBagUnion Eq TypeMismatch
4166a3bdbc4255c3af761be2a52f3348861dfdc8 BagBagCardinality Eq TypeMismatch
9ed51d95003fe0e38940b1df9f21ea9af334f425 BagBagCardinality Eq TypeMismatch
1aa4d8cfad8dae59a83b065a2cdb1d0c5bc5845f BagBagOfAll Eq TypeMismatch
e0bb7cdad513b700c2bb0878042cf9d277300725 BagBagOfAll Eq TypeMismatch
2540d6b5b52253415d49ae3dc79c614845f77daf BagSubBag Eq TypeMismatch
8d627508b0c91c74956dcbb0d938adb4023c8bfb BagSubBag Eq TypeMismatch
46c3b95a9cea4b8534d4ba8c4ede9ecd1b2ff7dd FiniteSetsIsFiniteSet Eq TypeMismatch
1225eec8f4e99257d02f3a56a99fbf16440be703 FiniteSetsIsFiniteSet Eq TypeMismatch
55aa532bb08f4303847d108da372387e52296dda FiniteSetsCardinality Eq TypeMismatch
6d23bce48f6d0028418ce8df5c3d65ce7a8af25f FiniteSetsCardinality Eq TypeMismatch
018cce838489299f85e2ef895b5d835fc48dff30 SeqHead Eq TypeMismatch
c85dfddb7cb39d2790531b1a58b11e81deffd2ef SeqHead Eq TypeMismatch
8d73be5af18d4abf4a3bfbeb346c71763a84df59 SeqTail Eq TypeMismatch
fabc03d0df37efd8ce1ffc355000846faa7423cf SeqTail Eq TypeMismatch