Index

Skipped feature combinations by plug feature Def2

Id Case Feature Plug Feature Skip Reason
ee3a3c03e3c72e0d991415e2747a04720143e30a OneLineComment Def2 CanNotBeCase
12d83e3ce99aa7b5f52da893856e98a5a3e090c9 OneLineComment Def2 CanNotBeCase
463d017163fdd33dd4bbe2cde4adb506ebf90fb1 MultiLineComment Def2 CanNotBeCase
d82acda2abcd30953658d306e6e600c1dc64af13 MultiLineComment Def2 CanNotBeCase
84285fed365877431d3ed7a5c336da938d987d35 BoolTrue Def2 CanNotBeCase
9429c527aba4dd36611d9f66ebea7d6b3202a6cb BoolTrue Def2 CanNotBeCase
e2038227e1d30ba8e0d930f3fef9be113120ddb1 BoolFalse Def2 CanNotBeCase
66be2eac20decc682a404579c3326da332208038 BoolFalse Def2 CanNotBeCase
b13f2f177533928087b27795f152d7daccab0dc5 BoolSet Def2 CanNotBeCase
42c3067f12d2269a06454e2f48cf157af6c95879 BoolSet Def2 CanNotBeCase
2aa59e5ff7a7ad5fbba7ca52376f40ee2c4e9d4a SetEmpty Def2 CanNotBeCase
76e8e90b716efec1b8e8147134942c0728283992 SetEmpty Def2 CanNotBeCase
fc77938cadd831a9bbebbd3b6eaa6de5d85b326d Set1InDef Def2 TypeMismatch
cf55f8212d2fddea88439bbbfc05c8a7dc881aea Set1InDef Def2 TypeMismatch
e54ddb102a4d9d98693cacf02b0b070518bf465d Set2InDef Def2 TypeMismatch
29885a32a1b225b601001db775d019ae4395861a Set2InDef Def2 TypeMismatch
3611fc017e18b46cda910122197628b51446a2f8 InDef0 Def2 CanNotBeCase
70c3a9e589083a6da007def18039d422d1191319 InDef0 Def2 CanNotBeCase
e461ee120385af4552fb60273fc9ea5aa8ee8cb5 InDef1 Def2 CanNotBeCase
1a693df5901fc17601d61b41c33bf7ca5a22fb10 InDef1 Def2 CanNotBeCase
941a91c797c588150c9792c6492dfec7e07e6a51 InDef2 Def2 CanNotBeCase
9c542cba2227c2ba39b1c15a59b27ab377392dd3 InDef2 Def2 CanNotBeCase
c0f0136d24ce993094807e4fbd7ed297b213e00f FunInDef Def2 TypeMismatch
9b8e811abb91de6280d14c816feeefb5a079780f FunInDef Def2 TypeMismatch
d7d7d7bdda150f07892564540a44a13c29141fb7 ExistsInDef Def2 TypeMismatch
9256bbd1468be6322bd8cd686fa063063b6bbb0e ExistsInDef Def2 TypeMismatch
f1c90336418a91662a0bb203bce1279011385386 ForallInDef Def2 TypeMismatch
5dfb6b35b91b63c35a23b8069b2838ad0ec578b8 ForallInDef Def2 TypeMismatch
7fc5242155582331c280791f665a2260bf5e4744 ChooseInDef Def2 TypeMismatch
83d5ad0c3878768fe5337a168b2e4da855c5b1ec ChooseInDef Def2 TypeMismatch
61310306820390a31636e53eded0b17df2b85a6e TupleEmpty Def2 CanNotBeCase
37a89efe898b564805b5407eaef5ed0634174b90 TupleEmpty Def2 CanNotBeCase
9bb402f8cfe6e541458953d55ef469e26bc042f0 NumZero Def2 CanNotBeCase
0df3bbc6fca443477384ded59d9d801e0e986f35 NumZero Def2 CanNotBeCase
2b2c5249345837ee6d4f7f9143df3527d3657baa NumOne Def2 CanNotBeCase
9afa6e4b545b25be04ee65c17cac7f744764bde5 NumOne Def2 CanNotBeCase
5d90a659a4b5ab95e2993ba1c6349ebcf6909b38 NumMaxInt Def2 CanNotBeCase
ce411c98f148ad3b6fad135a260bb183fa638aba NumMaxInt Def2 CanNotBeCase
9da528fec73a430afdb8b44c530d2c3966e3100a DefFunInDef Def2 TypeMismatch
833cde31bd26e52bd94b572c8f50740456114b73 DefFunInDef Def2 TypeMismatch
1799c0b8df060c3ec5faa786cdd848fbc7c1450c LetDefFunInDef Def2 TypeMismatch
9b9c81f6f2017ee6c67cec43e36985193d6a71df LetDefFunInDef Def2 TypeMismatch
610cafc2e3cfd14c62105b4ba6191375c1981f25 ConstantModelValue Def2 CanNotBeCase
72ac6e11d51205b74e94cf02b2ac897bd1c48446 ConstantModelValue Def2 CanNotBeCase
59b9e2be58c3a074b949a1d75a12c769c811a105 StringEmpty Def2 CanNotBeCase
e02594c26b498339d4eff3267a4992fb601dad27 StringEmpty Def2 CanNotBeCase
9f643c546bb9b925a638265c364c90903278a946 String Def2 CanNotBeCase
8ccecd8fc4dc74ad1dbe078650308b35e121d13d String Def2 CanNotBeCase
9e60e9ce55ac9c46a164bf54082aa6fcbd72fce9 NatSet Def2 CanNotBeCase
670c5cb568a17101b8490b1ae35d0b91821588f2 NatSet Def2 CanNotBeCase
880861d228d81832c2cd039845f3bb4aff4faf19 IntSet Def2 CanNotBeCase
b9a5e9108a88e1e98d571b6c26a50a2786bc07ec IntSet Def2 CanNotBeCase
9f7915b20f5f255ab80d0ed2a949cdaad0d30424 StringSet Def2 CanNotBeCase
854504e2562385a90089f1c8c03c39762f6c8a1a StringSet Def2 CanNotBeCase
50166f08e42b8951bf94b587f082e9df76400fa7 BagEmptyBag Def2 CanNotBeCase
cec65c96bce5f77f34107bda1cd00bff78f7780d BagEmptyBag Def2 CanNotBeCase