Index

Skipped feature combinations by plug feature Def0

Id Case Feature Plug Feature Skip Reason
1120ca28d7ff8a2459789defe198198214a15418 OneLineComment Def0 CanNotBeCase
750238e6a726486b8cef6130550f5c66b19bb78b OneLineComment Def0 CanNotBeCase
d6dc249498d4dee462a0b3c59f8dc8a7112425ad MultiLineComment Def0 CanNotBeCase
06e84c4215bdd02a8aaa4fd6d54a28d609ba4c4e MultiLineComment Def0 CanNotBeCase
6cb73f870fc3aadacb9d25f1edbe289c96e14a40 BoolTrue Def0 CanNotBeCase
ec3f441f449df6922a7aecc79936fa29b32d8035 BoolTrue Def0 CanNotBeCase
30706b25597c5b69aa3cd9691017018b93e08347 BoolFalse Def0 CanNotBeCase
82338adcf81bf56e7666cb5ca67a0537efa09d83 BoolFalse Def0 CanNotBeCase
4c78d72684093d1798e5a8764a372fc791d2b73f BoolSet Def0 CanNotBeCase
8d6bb704da052e5a33a8ef9cf966c8e80b8a9521 BoolSet Def0 CanNotBeCase
80c86ebfc9594203b0e1ac5f00e6e07883763f57 SetEmpty Def0 CanNotBeCase
528352bacc4a2bd59d99bab1c7244f951e2e4d44 SetEmpty Def0 CanNotBeCase
05fafe8957a484cf4f9675fb3bf704a625e959b1 Set1InDef Def0 TypeMismatch
fd5a53e4b74444fa26d6665ebfd1ab471703332e Set1InDef Def0 TypeMismatch
796d374d99b7b293b0d3b63b0789c36366bcf69a Set2InDef Def0 TypeMismatch
a8dd9dc2fe290cfe152b64285a60534de247a304 Set2InDef Def0 TypeMismatch
2be6d19845b624b4c3547e8eea06779326c12e59 InDef0 Def0 CanNotBeCase
e396dda80fc8f6b1595e545fbe0b2a8bb7ea49cd InDef0 Def0 CanNotBeCase
4a638dc3959a3c37787a081a5014723b6980295f InDef1 Def0 CanNotBeCase
a9360a08b6a1f0e6d3526487882b5e59e4557e34 InDef1 Def0 CanNotBeCase
3656083682994f52aef8ab97251f4d777be3764c InDef2 Def0 CanNotBeCase
49710d2f79f5d0c3da8470f184b93ec8809a603c InDef2 Def0 CanNotBeCase
45eb72a9eeab196ce4e216f63b131c8b95befc1a FunInDef Def0 TypeMismatch
71483185fe4edb1f58602d02494774bd4f51bf38 FunInDef Def0 TypeMismatch
c34505364b1522e88663d8a5bc918c1d8dc1ef47 ExistsInDef Def0 TypeMismatch
8903abe2b0801cdf201f06f953183088e27d6b32 ExistsInDef Def0 TypeMismatch
faec931d66efd023f182f73f40c85feb42f828aa ForallInDef Def0 TypeMismatch
ffea82772489b45796f221f72c35be3224774ffa ForallInDef Def0 TypeMismatch
7ce5407000075f9a2cf0f07d7ca5e5a6fb80ff57 ChooseInDef Def0 TypeMismatch
5c11080ad04d10790081dfa114a75be23f00801c ChooseInDef Def0 TypeMismatch
16f44b7e873149935efe6d5ba8dc673bce036f03 TupleEmpty Def0 CanNotBeCase
347e2dbdc74b8393b1e502b8d1b984685b094e1d TupleEmpty Def0 CanNotBeCase
b98064886ff4cab63d9a7e9d39fb9d4fbd24aaad NumZero Def0 CanNotBeCase
1a8882d4ad5acf84ff463a0f59f830f7e3b04948 NumZero Def0 CanNotBeCase
3b20625fe0cf41980031739dfbffc54fab0aaa06 NumOne Def0 CanNotBeCase
f573cfb01a3d3a8c1224e5412a364b6bf5a34579 NumOne Def0 CanNotBeCase
8eff1e379701e78c5635b14c925501397457a90e NumMaxInt Def0 CanNotBeCase
2109ed99dd8786d1eefce44ba3a79de33a9eebb4 NumMaxInt Def0 CanNotBeCase
93a6fd4d29268031f06566047f88b4dd64ad4654 DefFunInDef Def0 TypeMismatch
ed6298f37cbde89e5d78cbcbd0811ec4f46f72b3 DefFunInDef Def0 TypeMismatch
9f4b49946eb18d2f9678ea3fca341a720db9ae5f LetDefFunInDef Def0 TypeMismatch
8f4857dbd246cdd363b11402416e7d308c92318d LetDefFunInDef Def0 TypeMismatch
c362d8136501f5ffe634da07cdae3ea9ae64e736 ConstantModelValue Def0 CanNotBeCase
ed1bc85b865dcfdba96b78d0fad47955918f1750 ConstantModelValue Def0 CanNotBeCase
4a4f9aac7a4a9756273515573a761733a7128e39 StringEmpty Def0 CanNotBeCase
04691c39945f8367eb6d68490f01cef3ee256038 StringEmpty Def0 CanNotBeCase
3a26c4d4280f00b15a37392796af252145f1dd6a String Def0 CanNotBeCase
590f52de63f732c3abac1b9f2936430f1caa964a String Def0 CanNotBeCase
deffb8354d787801207680a2b4e0706a0adf361f NatSet Def0 CanNotBeCase
08a58db0e3e9e263468bd4e85592ee8e4ca34516 NatSet Def0 CanNotBeCase
42fe73146a1b582fac691e8e5a1ba41c42e4aad7 IntSet Def0 CanNotBeCase
14c4f8bbc290bed2d5eb41c64f44c4a3694911ff IntSet Def0 CanNotBeCase
06cd2d4d55134c47114eb02785cd837677868a9a StringSet Def0 CanNotBeCase
a293e0dc2f0f4ba21f5fee211f2b127a9116fd00 StringSet Def0 CanNotBeCase
e64dd32c10b7f12950c8eb736949186e75a89d62 BagEmptyBag Def0 CanNotBeCase
2871b9a2fb1b6caa20ff1a18e685042480dedbaa BagEmptyBag Def0 CanNotBeCase