Index

Skipped feature combinations by plug feature Or

Id Case Feature Plug Feature Skip Reason
b0b65f30a94d0f645b44e371b62cbdcdf0704171 OneLineComment Or CanNotBeCase
a5a956380c00722a1a9a1500b2b0f2aeeca3d2a3 OneLineComment Or CanNotBeCase
2a368a51f5f19e985d548f6d9774eccdaf1a001c MultiLineComment Or CanNotBeCase
080d5a096060b12b7df7c361eced35c6763048df MultiLineComment Or CanNotBeCase
074e79e7689c23b2c7e704acd972c1f63d91544f BoolTrue Or CanNotBeCase
fc7615c84f47ac4e4b5e8979ec1d2eaae5c1f1f0 BoolTrue Or CanNotBeCase
4f9d2ba79d27fe306ccc60903e19830d0b52fa0e BoolFalse Or CanNotBeCase
4f875cc9ba9cd642409b851d2e7c39841ac2e7a8 BoolFalse Or CanNotBeCase
dfbe39e9623d0094b288b5411121c6bb9d4fd0ff BoolSet Or CanNotBeCase
68258039e7cd55c0d7fdae5431abd216a252e719 BoolSet Or CanNotBeCase
baa61bf6c95413c72727e650d3e65d312cbe430b SetEmpty Or CanNotBeCase
07d9581ddc1e564c0476a5019b8a3f58bb0b7704 SetEmpty Or CanNotBeCase
e0ca4614fb13b2bbac3d8866c28f1fc2e454eed8 Set1InDef Or TypeMismatch
8b56b0cf9258c6e167b260cec7e4a7babd3fea14 Set1InDef Or TypeMismatch
5ef7187d9874b202f7543664327e7d76b85b0916 Set2InDef Or TypeMismatch
6773c81f4343cf8458e654e9252e309ef6786910 Set2InDef Or TypeMismatch
8667fda149f9f1b0fb8828d4b25cad2c9e89270b InDef0 Or CanNotBeCase
1f9dfa8b938ae300a3e69481c1e7d7eb2426fdaf InDef0 Or CanNotBeCase
d43550945a9740081ce188e66c2876b858c908be InDef1 Or CanNotBeCase
68d12615e33aa49a4316a4b997555da4b666ce70 InDef1 Or CanNotBeCase
546751479a4c58c6f1d99cfcd510a4b33c300070 InDef2 Or CanNotBeCase
6ff04b06a3e7ab5bae7056b965d051fbb08b8d7b InDef2 Or CanNotBeCase
392a5ce79b1dba41ba4a9cb7f99c218b4de903b8 FunInDef Or TypeMismatch
1d7702641cc0d8ad39498e62b6db60b4144263a7 FunInDef Or TypeMismatch
d0a27a1ef6f0453b6724ec6f286ef561b29ea106 ExistsInDef Or TypeMismatch
5746c14c50e31648cf1fa578bba332bf16fc4d74 ExistsInDef Or TypeMismatch
6191fa45de5a2e326ba66acd7e28afc741dcb4ac ForallInDef Or TypeMismatch
e173d15b5da8be27e6882dd5a312779a70798fd4 ForallInDef Or TypeMismatch
1f8946a3ae8eb502609b137d305c4b790728e65e ChooseInDef Or TypeMismatch
e40373f2cd81160b6b6d20c1f17c6d3e7c7c09b6 ChooseInDef Or TypeMismatch
fb8ed6c248e2e96b1ff8eb50894a75c0d66c88c5 TupleEmpty Or CanNotBeCase
18209649595dd79d388db6a9482403d48cbbf2b9 TupleEmpty Or CanNotBeCase
d343fba46c6cbb7d7366996a41e2e79d0cff11f1 Except0 Or TypeMismatch
362db8967c1daf9c4c50e74acbbba7b6190278e0 Except0 Or TypeMismatch
780df211dfcfe9083f9475ebc858f1778ceef443 Except2FunTuple Or TypeMismatch
64101c2495542f0d3ac4a63bf9fad7365700c512 Except2FunTuple Or TypeMismatch
d6cd7cbaca4149d215a4652a02e7f1863dac210e NumZero Or TypeMismatch
72bdb7243802b11869c4cd097f4cb1918bf1bab3 NumZero Or TypeMismatch
55c8b244b2489225c5817d532aab8ebb0b7d22d7 NumOne Or TypeMismatch
95f32e77aa5419c352c2731bf03a973d1d6ce904 NumOne Or TypeMismatch
93262e368a35fa7f947505d370e164ab15600348 NumMaxInt Or TypeMismatch
79dfe7e28749df7809e1916eec3fb92c11e22179 NumMaxInt Or TypeMismatch
ff8316d07354246e62176a7075cb1b11d06e3fa7 NumUnaryMinus Or TypeMismatch
dd9c1b8f3b22639cf09d186deb1d917aeef7bc38 NumUnaryMinus Or TypeMismatch
7bfbd8c6c9b13961ef8a252586f4fc2222eda1ab NumPlus Or TypeMismatch
70634c286001ae9f011ae9338d99b8a174a5b2cb NumPlus Or TypeMismatch
d280c4c3e3af42ffbe9608a187e9c6d32143f479 NumMinus Or TypeMismatch
fa24afd311035e8e50bdaea3bfefee4c06b9b19b NumMinus Or TypeMismatch
e12c51999d2c81de1472b303f9aa31c1a6a830a8 NumMul Or TypeMismatch
4de603095dbac0faeb60a74e717ad0622b93623b NumMul Or TypeMismatch
d4dc8744ee8443433ce5639d4cd2f1b1d9c82121 NumDiv Or TypeMismatch
450a6c5d047c72c3cba921e7ffd951efc0794b9c NumDiv Or TypeMismatch
7fdd2c7630ed953d2f9ce275d41e255ba0931426 NumMod Or TypeMismatch
8fb62fad54aae8cfd22a2083dacb4b683dd93427 NumMod Or TypeMismatch
b32e7b540c728bfd19bbd0c1088259f6eca08f50 NumPow Or TypeMismatch
c6dd3604393ad4f43aa44b69eed4c62740281d75 NumPow Or TypeMismatch
8f6839321354da52f70fa19b9ffec1d5f4d483bc NumGt Or TypeMismatch
8c40b798893da9f4cd10443a74b88ec902e62ce8 NumGt Or TypeMismatch
8aa58a5fb5ccbf0242151a4b29a0e9503d123ea0 NumGe Or TypeMismatch
ebcbe4f38bb004f6597b262bab599ce775dceb7b NumGe Or TypeMismatch
dbb63b58dd4e783011ee071fa097957ee94fc455 NumLt Or TypeMismatch
166355420a33a92e5aafe116407441efcb9561ea NumLt Or TypeMismatch
f96cca3f4247b20c59b93e2513b685291643408f NumLe Or TypeMismatch
ad2d8635b0a59977c8a43f6f86b3229b4d9c2386 NumLe Or TypeMismatch
a6da9462ffde55b99fd1d3cb40709535b9d71e7d DefFunInDef Or TypeMismatch
2ff4b4944b7ab90099a4c05573f17e6fa7b2df59 DefFunInDef Or TypeMismatch
0a68e6d1b59e428c1298426d9387c61da76124e9 LetDefFunInDef Or TypeMismatch
a29cc5aa5afe0227ba03e900d9d36a9445a1251b LetDefFunInDef Or TypeMismatch
ff3096f30901ca1b7cb547b2796c2057653c98cb ConstantModelValue Or CanNotBeCase
997ab7008c360fd6b3488e15cab4d4e7b984e036 ConstantModelValue Or CanNotBeCase
a46600ca0dd0e81b192471f0d480b6293e94d661 Cross2 Or TypeMismatch
a0ce8006b0d3937cea8acbdcb948a8bca6091640 Cross2 Or TypeMismatch
b77d085f62acc154ac54a7d55f9784f1184d847f Cross3 Or TypeMismatch
74e25d15ece9db1a43b40f73ee5940a500e0ef1a Cross3 Or TypeMismatch
33b62c890e81b3f5c713524b3e7de2fcfa636d06 FunSet Or TypeMismatch
525aa39894802e5780eaa907af52246148d3c354 FunSet Or TypeMismatch
6c898a310ea51b5e0de3038c69937176304895f7 RecordSet Or TypeMismatch
e820e6cdc32dad6c85b0dce7df35e2c4f6e32528 RecordSet Or TypeMismatch
2c3e1aa1174e159835de07da0c208dfa60be7770 SetDiff Or TypeMismatch
6403d2c616d1346f78a3314e9d11f269a2ccdc09 SetDiff Or TypeMismatch
f3c772f7978efbec4bde971876aa7701d7d49f67 SetUnion Or TypeMismatch
ca79a93a30f4f9b07adae5d5d88dcbf12bdfe928 SetUnion Or TypeMismatch
0adbd84367dcada7993ce28ae89aa3091d09c049 SetIntersect Or TypeMismatch
165096bf487057c98622fabadf76f0c247411cb0 SetIntersect Or TypeMismatch
ecb2b54562f5821ae1902fe01ce859d8ab94f57a SubsetEq Or TypeMismatch
f4fd8a9c32f5735cda34be38392463b627e4d8de SubsetEq Or TypeMismatch
beebd395c7a14a719cb5c9094d7d3168441d5837 Subset Or TypeMismatch
19fa76052c2c1806fd9ea4e82f44d61a81ce42bc Subset Or TypeMismatch
7e6af5e11a25d6bb7820bb88eb9058eaf1f77208 Domain Or TypeMismatch
8a212e471de8bb0bdcabf283c2c82258fc22518b Domain Or TypeMismatch
df8a45ecc5319610d6655bb9a4759baf80330d85 Union Or TypeMismatch
c0fa195f39e8e4ac2002987b80a5688297a5f298 Union Or TypeMismatch
70a4e417ad32a9d5ad5e49fea97a9081a8ea11cb StringEmpty Or TypeMismatch
30bdcdd56aeadd7533e14bfe9fce1ea1aeb197d0 StringEmpty Or TypeMismatch
0e76befb64f06906db9b05ea304399108bf4d55e String Or TypeMismatch
fd603ccef0d5d1442ff11c6f6c76d897a4a14180 String Or TypeMismatch
9e942fd201f205343bc0e10fac03e25a08cdf8d8 SeqLen Or TypeMismatch
f008410487d21d53095edf6d5de93ec42f0ddae7 SeqLen Or TypeMismatch
7a75f72c319a858d7234e39c6374ce1cfab9c13a SeqConcat Or TypeMismatch
e328ee287bce86ae37730589689a409a961f650e SeqConcat Or TypeMismatch
3f55db7eb4223822fd4a3b65798e065846b6276e SeqSeq Or TypeMismatch
2a2ddd13472dfdd3146c4cfe0f125200ab4ec557 SeqSeq Or TypeMismatch
0f5c88806c98d32852d2d540dd4e4937e42664a3 NatSet Or CanNotBeCase
4aec2a1237db12b69f528193a63d9e8358ca0d15 NatSet Or CanNotBeCase
3dd557998537ab934900d7613f23ac61ce68c739 IntSet Or CanNotBeCase
7f9d602a6bffcd1fd2e3905ad864f417a3662c47 IntSet Or CanNotBeCase
63813fbac79f08dcb15ce0f8bf93c850948cc1c6 StringSet Or CanNotBeCase
7620019bcad7846d6f6ea63cd013eb8610d781df StringSet Or CanNotBeCase
1632003acdbde259724d545fd5e356781563ff9a SeqSelectSeq Or TypeMismatch
470a7552c6594f1a5411a4d2a7303e897e40e55e SeqSelectSeq Or TypeMismatch
e3616fd1d6caa05fc21f82f746e43c2a2bbc163d SeqSubSeq Or TypeMismatch
28c36406737eabcdf7a040902828979c716f6814 SeqSubSeq Or TypeMismatch
166b737de1aa792433d1c59119ea29d4505a6af8 NumRange Or TypeMismatch
cbe9a26d4d7394d19cabe5d02a9a1ff4b38848d5 NumRange Or TypeMismatch
848a9606bb8499e47764c22a1c2e05c6abfd994c TlcExtendFun Or TypeMismatch
37c4a9aeeda45c4b0a560d3f03492b49a53dd403 TlcExtendFun Or TypeMismatch
2f1e0c79b40ae8a6ca183d8a52263466f8f71774 TlcPermuteFun Or TypeMismatch
8406ddef1fd99ad0d4cf9dcf7945dec6bf61b3ab TlcPermuteFun Or TypeMismatch
57d148f31466e9c35dcc088253fa331418700ded TlcSortSeq Or TypeMismatch
a5e8e0e9179ff270e37c40f75c9b252c14058388 TlcSortSeq Or TypeMismatch
f0a5cccb53d36fdc2bef9f4a0ba25696c4a6f4bb BagBagToSet Or TypeMismatch
56e6bbf70e64a76caf29f222449f05ebf8efc6fa BagBagToSet Or TypeMismatch
aad97c122742aaa5e35878b7b9ee84febd7e62ba BagSetToBag Or TypeMismatch
14d9d404779f18dd5bb4708b493c8e1f728da48f BagSetToBag Or TypeMismatch
550d29dee0b036d44ad1079d12d0c367959cf2d0 BagEmptyBag Or CanNotBeCase
4ab66d7a3159e7cc4be1ee6044729290de871165 BagEmptyBag Or CanNotBeCase
9d50e221c5cc1fbaf83bd52d271ce74fdef060d6 BagAddBag Or TypeMismatch
804007598af44c9c03a0f41c05415194dbcccf62 BagAddBag Or TypeMismatch
e039368858c3a090ad73537114061e02fcbb7689 BagBagSub Or TypeMismatch
3fe32ef74c46830cb487d46bd8b916b16c62c1a3 BagBagSub Or TypeMismatch
d51f231fd34382408c5be8fdbc31c01a22e7e6e8 BagSubsetEqBag Or TypeMismatch
a5d9b5d30714a69cd7c47ac01208bc2a3b50a4e1 BagSubsetEqBag Or TypeMismatch
50a8a1993074399049c6f3c6d4ba6272d2c31347 BagBagUnion Or TypeMismatch
d36afb8f0009cc340068b214ab9aedfb64c01f8e BagBagUnion Or TypeMismatch
4e50730733c7146954defea364ff9f80d5383b62 BagBagCardinality Or TypeMismatch
398b314279fcab60d68bd6aa8be87accd7503b61 BagBagCardinality Or TypeMismatch
dbd85f58ad39e5d058e6b6bf85dc41fec7845d72 BagBagOfAll Or TypeMismatch
4118ea0cac876ab7abc71876a698de9ee82433e7 BagBagOfAll Or TypeMismatch
e5eb310062f819b2a9b9be1d3398132c56199da0 BagSubBag Or TypeMismatch
565168cf7e5e1ca19f671dbb9b05c0baeb1bcb2b BagSubBag Or TypeMismatch
17bbc8996f518b6f12fd4a2fb0f883598ce8e2d7 FiniteSetsIsFiniteSet Or TypeMismatch
6cfe9512ecadfb6ea61d2bb8510f30cbc0847401 FiniteSetsIsFiniteSet Or TypeMismatch
f13dd13ecf46bb0470e966935f69c6e6d837bb46 FiniteSetsCardinality Or TypeMismatch
fc38da838a746d4e68007e80850e8daa7011959b FiniteSetsCardinality Or TypeMismatch
c6793095c50f49c30f6da7245adaef9a944551f5 SeqHead Or TypeMismatch
794ad5fcae112a81c89e7d8514e3a2f3d70b84c5 SeqHead Or TypeMismatch
9220324b35c268d9288a855774482355d69f591e SeqTail Or TypeMismatch
fb7d9c3562ce0eabd449863cb8d75a6be96d08be SeqTail Or TypeMismatch