Index

Skipped feature combinations by plug feature And

Id Case Feature Plug Feature Skip Reason
cd38d25a2129686d85f725122660d460cbc6ff6c OneLineComment And CanNotBeCase
24cb3df2c2e236443186afb9b4f8c2fc96503360 OneLineComment And CanNotBeCase
e04e4817742146d6d783be53adf1b84edf78b4ec MultiLineComment And CanNotBeCase
e31261402a7b51456741874f82682fa524875b6f MultiLineComment And CanNotBeCase
72171478941533ebe6683ba7eed9058c84d1ad67 BoolTrue And CanNotBeCase
c81977b203aaff58f6e193566d5ba7713cc6f4c3 BoolTrue And CanNotBeCase
a462bc5e45d585e0293dcbad39acaaa56051681e BoolFalse And CanNotBeCase
bb2c645824b8045d1601535dc3b15a8f466b2341 BoolFalse And CanNotBeCase
3274f86be1bbeea5d3d9b721b65de773cf171bc6 BoolSet And CanNotBeCase
b65c384362d41be6b59c46fa6995ddc82e7c545c BoolSet And CanNotBeCase
4af6e69abbfdf15af5a624c7c9aad76c7bc30c08 SetEmpty And CanNotBeCase
d6b8010206f4d3524c90bc653c85624702de54b3 SetEmpty And CanNotBeCase
4f8bcf3153ad81be2995bcafde6e37bd1d715592 Set1InDef And TypeMismatch
b63074015bb49bed7cfacf87171af79ad856eba0 Set1InDef And TypeMismatch
06bdb1352b9dfcb6103f1aedf527202522dd095e Set2InDef And TypeMismatch
9580fd758e333746eda5dfb6a4ddde87df44f30d Set2InDef And TypeMismatch
59f767dcdf95ac3f1974cbacc44e8fc1b4d2b1dc InDef0 And CanNotBeCase
8658211e980bb89383dea8acdd712f32f0ddf8a8 InDef0 And CanNotBeCase
06352a470992469145b09c110fd6756c24937f05 InDef1 And CanNotBeCase
6d977bd847e818f28d6b8c5aa203ea3d5fb21c96 InDef1 And CanNotBeCase
fcd1be00ccf64e72543f33e23104449fad2bb2a0 InDef2 And CanNotBeCase
063f387a2f73a67a998dbf8c279637dcdef49755 InDef2 And CanNotBeCase
81188b8beedf0e6f8e82f779199a3d2bd042088a FunInDef And TypeMismatch
478e3155b95ed2863c6c199a0320572ee51cc548 FunInDef And TypeMismatch
e3b304e894eaf19bea96212b9e6e2732d0b30164 ExistsInDef And TypeMismatch
d6c73a8739cc00f758f542018a81cbf46d8c8f42 ExistsInDef And TypeMismatch
d6ca25338ce2e756a59ca1477242ae7c01540655 ForallInDef And TypeMismatch
c89e306a204008c082eb88cd739b9401366af9b0 ForallInDef And TypeMismatch
294b16a00822649a0ef4a45eb5459da6d6f9ec1a ChooseInDef And TypeMismatch
48dff45059b983f8a1b26861dc39c4e6dfb20874 ChooseInDef And TypeMismatch
009446f16c61ee0b364c09c904798d652666a365 TupleEmpty And CanNotBeCase
f931b87593caf1002cfaa9856d8b9dd7d30dba89 TupleEmpty And CanNotBeCase
43774a7f5739e530ae6cce34712c9e04a8293d10 Except0 And TypeMismatch
190b9dfa5a4bcb1e9c34be7e3d151de28e937052 Except0 And TypeMismatch
e7783464ac3691c3714564153ab1b7dc30dd3ae3 Except2FunTuple And TypeMismatch
464429c2ae7721f915e4bd9a5512374a160a74d0 Except2FunTuple And TypeMismatch
03ee9da0da441f2caaf7b5325f6d0cc82ea01ba5 NumZero And TypeMismatch
5113e346429e8aa3f64026f4e977ad30ea1ddeed NumZero And TypeMismatch
6dad08ab84313f4bac38e4e1a5eb4385fbc2a634 NumOne And TypeMismatch
d064fba9c88a135848089fb3c0e3171a6197a29d NumOne And TypeMismatch
40402a9cd5a0cf6d851daa169eb8f3927852962a NumMaxInt And TypeMismatch
ef28883d77873952c2aa8edc2acd04c16209e5d7 NumMaxInt And TypeMismatch
7e88432632fd85e25cbe079dce57754c4a351e6a NumUnaryMinus And TypeMismatch
050cdb16aa4b4cb28669dc245b9c040218e97fe1 NumUnaryMinus And TypeMismatch
6ecfb17e5a541867fdae5fa530685ec9690d1a2f NumPlus And TypeMismatch
f6aa3fa76cb0a24dd7b13281fd41e5c80b5da503 NumPlus And TypeMismatch
1706ca9a531ca834960e3a2902643e3ae30bf29e NumMinus And TypeMismatch
f0de01d2ba24a194db6057bc38faf2d15d42b1ff NumMinus And TypeMismatch
25a7356d3e5e0b6d06310193f94d600c6803c719 NumMul And TypeMismatch
20cc457c01709fc557945cb932190d439c231ad3 NumMul And TypeMismatch
1384813249dfdf7e4fa125911959dabd9263f570 NumDiv And TypeMismatch
28630dbfebf80f9f264e2c24324869a2f346deb9 NumDiv And TypeMismatch
e55ccbdaf913c31d48b259603c382c5ed7c0b342 NumMod And TypeMismatch
c0b1deb2b44a3d58dd1f2208d30bda3ffbe53347 NumMod And TypeMismatch
5d9a329c8d6fd2395773d25877b9592bb9f91cac NumPow And TypeMismatch
2bd7927755b380c0cc447d03c37fea7001dcce4d NumPow And TypeMismatch
2f786693dcdf5cae11a51cfb198d811d4d14bc8a NumGt And TypeMismatch
11edf3ae96e29e3eb0f70ee5017ae42727cec9be NumGt And TypeMismatch
317c13963c5feee96f1cbf127b38a933c9c70c24 NumGe And TypeMismatch
b4b2e6461ff2443336f0cba6edabdfe5820ce1d3 NumGe And TypeMismatch
f56400716fa43f9950d9916906637fe32a9ddf1c NumLt And TypeMismatch
387ebf28f8ecf6faa58c137c495c0fcdc9969594 NumLt And TypeMismatch
404cdc15e8369e7bd6026de35521e17537189a0c NumLe And TypeMismatch
1341448331000f0a1846db7e8cbfd8865d86b30d NumLe And TypeMismatch
24ea99bc450a606ecda5bb2c0985d4a53203734b DefFunInDef And TypeMismatch
6a5b7dc1dbc1165d7771eb19df88dc1e6341be4e DefFunInDef And TypeMismatch
7fbe9d75c1e40f42669f34d88b6f8c6315d042c1 LetDefFunInDef And TypeMismatch
3d927c3dd180fa7cd92f31a5db938d866ac2ea66 LetDefFunInDef And TypeMismatch
a66086df4b76ae04b50d6b86c278db9a17f8341a ConstantModelValue And CanNotBeCase
dce8e4b4964d81ff3ea56276260b61d3b444325f ConstantModelValue And CanNotBeCase
a4a0d416e2179a89bf2885fb834ff6fa93ca8365 Cross2 And TypeMismatch
494ae81bcd2fa8e3e1885017358c8be764e05ba4 Cross2 And TypeMismatch
2f43c371cb01625e6ee58cb66d70d04b825bd718 Cross3 And TypeMismatch
8a433da2a00446814c1b7cce60cdc4bbdd27282a Cross3 And TypeMismatch
953b66e10743e32c6d646b5e675b002a1c9a31c1 FunSet And TypeMismatch
8f2360102f457ccdcff31e50c575771e75f89e8c FunSet And TypeMismatch
2423dd5741d15d53810fb5f7db8d50b7ba462c90 RecordSet And TypeMismatch
e1e143061c5139195e95e075d756272df91e7902 RecordSet And TypeMismatch
a13c6d148651ed839559635a2c5ce780a12eee32 SetDiff And TypeMismatch
28999cfe968ce1125074aee36df9b6987656a895 SetDiff And TypeMismatch
59ed7739c27ab71c426fecc12327e357820def43 SetUnion And TypeMismatch
8df9805a51a80b96839a58994a68c4ab671ad346 SetUnion And TypeMismatch
4f4195317e4a9b6d193da19271c036e48097da94 SetIntersect And TypeMismatch
e8821dc88d73ab29a81eda8a739747524eee138c SetIntersect And TypeMismatch
72cbb306d53d7a741808073c74d5a7fc1bd3da73 SubsetEq And TypeMismatch
5055b7eb60e2172fd7741a393b7343039f2f6bcb SubsetEq And TypeMismatch
89a2a07d1b9092fb2746a7580cbf34921c17ed3f Subset And TypeMismatch
6236bbf15c2e6493d14a1ced840ab22a1106c635 Subset And TypeMismatch
544541561aff4a1fe39fbca9a7679911074bf2f7 Domain And TypeMismatch
f43b2a5c3bb1fbba95e285fa8f4978d1bc7c0ea7 Domain And TypeMismatch
9c4e2900f243bd156e3f3d94291f7d1f70556cd1 Union And TypeMismatch
986591c1e7f6924bd7cbddd9289f20eaaea316a9 Union And TypeMismatch
fbd1b0de34fe0ec6f8b6cab69a41de064ff27421 StringEmpty And TypeMismatch
03b54d68dec18cf2415ee101736f1009810a50c1 StringEmpty And TypeMismatch
ce9aecc29bb2afe39b798105b5847d101bd5ba2a String And TypeMismatch
b02875f997af5db181bf810d2bb048b29b6bdd12 String And TypeMismatch
af76fd19c4437da35aaa2b58fd206e4fefdbaa5b SeqLen And TypeMismatch
7e528b55358037b466c98849c8bacdeae5833488 SeqLen And TypeMismatch
b618a3790f4fa7b48d1055dfc46e29d68787515b SeqConcat And TypeMismatch
6d6c9029767219dc3dee4b52a8492e563c6bc973 SeqConcat And TypeMismatch
e57b949c0e095b42dcf164b9f049e7f820d3a0fd SeqSeq And TypeMismatch
9029284e615f85fdf1d1a8d1cb376d5caf9dc750 SeqSeq And TypeMismatch
c9828fc30c08b9fb497a8d2a9bfa73582ffeaa81 NatSet And CanNotBeCase
7f9fbc78660796cd7be468a81e97e92111568bca NatSet And CanNotBeCase
af635cc06bbe14835366e572c5c93d0170345043 IntSet And CanNotBeCase
2408a02862daa29117cafc8d695cc33becdcba38 IntSet And CanNotBeCase
f782681947d0307a07a2bc7010aeb4564393365e StringSet And CanNotBeCase
69583fb3df2513feedeb81b7bfd67084f9848a3e StringSet And CanNotBeCase
89e764efa8fa2cddbd3d70d2575b4b3ff42474b2 SeqSelectSeq And TypeMismatch
132fd2799944eefb065c9bb1de1e601e5c38ab7d SeqSelectSeq And TypeMismatch
8537d984f2372cce5ce24b9ab6d1991eb10d819a SeqSubSeq And TypeMismatch
d464e5fb48bd4636113e9b54b4be00060acf741c SeqSubSeq And TypeMismatch
5dc06f8ab63c941adf111d813fbdbea836ac04bf NumRange And TypeMismatch
2712b4b1f9cdd9e6a0fad2f02d9e4839345bbbe5 NumRange And TypeMismatch
669b0ed97c63042cf8c425fdeb848dbf21692bfb TlcExtendFun And TypeMismatch
df443132a1d3080b73e6a445c1358a6c454f072b TlcExtendFun And TypeMismatch
24b646da7a37a740c2e7766d5d352bdddf4ef333 TlcPermuteFun And TypeMismatch
e7149084aa29b81e4d6cbb2ae045c180f553128e TlcPermuteFun And TypeMismatch
7c724adc281fec2b2e501fd2132d5e94616772b9 TlcSortSeq And TypeMismatch
b87437435748a39f7da67ffcd42424c7682f354f TlcSortSeq And TypeMismatch
94da3dfe5b10f403474627fa47b28f3402f068f0 BagBagToSet And TypeMismatch
9bb764fa14a3e0469220eb316dec94f7c6d1b94a BagBagToSet And TypeMismatch
9bb60750d5503ad5f66a40222b07078b7268ad8f BagSetToBag And TypeMismatch
4b2e19d91ed1b7572596bbeb5319c64b5834c509 BagSetToBag And TypeMismatch
64eda84c88053c6b4f5f6b0c703086808b208aef BagEmptyBag And CanNotBeCase
daa04ec03a137229c604a7b2fa84e3a05ec06edc BagEmptyBag And CanNotBeCase
ddef7356cabf9d2c851b49c55c3deb4dc260bd60 BagAddBag And TypeMismatch
b33282fff89de5d5d1a4aa1ebad4031b7cdecb8f BagAddBag And TypeMismatch
7ee10d02cf6032e141198d3db6091a6eee6a616f BagBagSub And TypeMismatch
7063cddf42e1248c0a10a0b1804e7624a9bcc516 BagBagSub And TypeMismatch
5f967abdbcdfdee0a59432d80f7aaec70ce4a720 BagSubsetEqBag And TypeMismatch
9a4d1efd118da3eed0fc6fe06311172207779548 BagSubsetEqBag And TypeMismatch
9cbaedbf9710995a7b4e63d4ea989d86ca072c57 BagBagUnion And TypeMismatch
b9e97ef39a2e1d36c1263f68d41f903d265170a6 BagBagUnion And TypeMismatch
ebf398e18d47b8a6fd6f73fc6f9227322a8abcb5 BagBagCardinality And TypeMismatch
a3a3518c4b36d1fa388452428b4c3adf0df9df40 BagBagCardinality And TypeMismatch
2c89c7d1bcca6fa00f496d5d85cdb1e42af69227 BagBagOfAll And TypeMismatch
67e10208f74512fc8fb1912fafa7fe5baca89944 BagBagOfAll And TypeMismatch
8325c3151cbaaefb8ef5cf279ad07dcf70c62b64 BagSubBag And TypeMismatch
520b069065093173c485b526bae8f5f180a733cb BagSubBag And TypeMismatch
21370aafd18a8a54db74d0dccf8357c3ee97134e FiniteSetsIsFiniteSet And TypeMismatch
e2c7e866021129e04df603525963bd0d47410bd5 FiniteSetsIsFiniteSet And TypeMismatch
870ccc01408a8128910ea7cc6598ca6b05f30edf FiniteSetsCardinality And TypeMismatch
10370ae144b43676a8de3e9d5882eb70d48f8590 FiniteSetsCardinality And TypeMismatch
3725de1383e076af3ac271bbae4ca8104e2a3f8c SeqHead And TypeMismatch
b5c547daa9bce8e356cb248ce9c623a76cec5b50 SeqHead And TypeMismatch
7b97a1faf1ad53fd184d6eae1994651f3c95f36f SeqTail And TypeMismatch
5924a584a2ab1feed09502b600a204176aff5f83 SeqTail And TypeMismatch