Index

Skipped feature combinations by plug feature Instance

Id Case Feature Plug Feature Skip Reason
526c06a4369e018131b055ce4996264924bf12d5 OneLineComment Instance CanNotBeCase
094525f31c72d1d7984a9351ac3a837ffc1759e1 OneLineComment Instance CanNotBeCase
38e779b76592fae60e59e4e656128dcc2f9d2b70 MultiLineComment Instance CanNotBeCase
e29b1495325cec3987422fc2e19f5e41575971cb MultiLineComment Instance CanNotBeCase
a1eeb89d5ed083f801d809d427aadd4224c60432 BoolTrue Instance CanNotBeCase
1546c91998596c47d9391c91dbc9aa5b46b922cc BoolTrue Instance CanNotBeCase
e64ba41ca754a75b0f4105322bd3a049e770c721 BoolFalse Instance CanNotBeCase
ce4a05d73d20471e15c3b83fd29b4018297a8eb2 BoolFalse Instance CanNotBeCase
d6f4a32da1fff2babb8dc062a16a4342fbb838bd BoolSet Instance CanNotBeCase
cc6bf6c304968f5f9f3989249760b3b0f8f1e165 BoolSet Instance CanNotBeCase
d27ae56cdc975c66cba4302948fabf6bc1c048db SetEmpty Instance CanNotBeCase
ad49b8baf76a452f979fe4b800db4716c5cf73d8 SetEmpty Instance CanNotBeCase
855b5f8a3c60b3c71cf7b3e7c73d2d45c36677d8 Set1InDef Instance TypeMismatch
0f1d83e5aca3385ac0341b70219b3055362de594 Set1InDef Instance TypeMismatch
1808592bf2db13a3795713d71fdbe153297279b2 Set2InDef Instance TypeMismatch
81e80833937fc4616a4c2e8f28ade633b5c0abd4 Set2InDef Instance TypeMismatch
23a8fa504a982c86ce9db7581c9c94056edf62e3 InDef0 Instance CanNotBeCase
88e373e1ac400942ba1f2322bbf84cc30a568fea InDef0 Instance CanNotBeCase
1c6a0a3651ee7bf45b9b88c3aba2a4bb4d999dce InDef1 Instance CanNotBeCase
8f038fc29c4920d204090af16be9905f038167f6 InDef1 Instance CanNotBeCase
308dfffad06ad36491360acccc3675161ebaf286 InDef2 Instance CanNotBeCase
b7c3607f9d85cc9174867deabc3162e421c9d18c InDef2 Instance CanNotBeCase
98bef3dddaa456f4125d300731e752383761dc13 FunInDef Instance TypeMismatch
4f47de4fa5f32bcaeef066e813596e8ed71530e6 FunInDef Instance TypeMismatch
e34a30918436677ba5da9725b97d0806b7206faa ExistsInDef Instance TypeMismatch
e2244e71a180b10b8002964bbe386f60946cb8fb ExistsInDef Instance TypeMismatch
f8c15440ec6f584cf341f3e16fb8af5f3393d2ba ForallInDef Instance TypeMismatch
2552af71220b1c3f6b0c7b501b1ccbd70b57bb68 ForallInDef Instance TypeMismatch
13349a0ebf4353c0bd6d71143c4cfb74561d7bf9 ChooseInDef Instance TypeMismatch
61a9a7e63a8455f617d471ab3bc2c4365dcb2473 ChooseInDef Instance TypeMismatch
01aed4861b1da12eaca1f14b416cbb860c743fbd TupleEmpty Instance CanNotBeCase
89faceba909d83d0a7917d297f0d81c5916b5c4b TupleEmpty Instance CanNotBeCase
00ed23bd88875ad43dc516c1793e26603310a03e NumZero Instance CanNotBeCase
5688936462b4c28e4c8cfdace047c17306870866 NumZero Instance CanNotBeCase
26bdaf893ab9624708bad3e6e4de2231d86c52bc NumOne Instance CanNotBeCase
bad63989e66461c96c82e157eeb17d3ff43178e0 NumOne Instance CanNotBeCase
426b7988e61325a990a42d5abdfad5554ca80f33 NumMaxInt Instance CanNotBeCase
2d2655b2a44986708c673eced180ca94e0d730c6 NumMaxInt Instance CanNotBeCase
5a51ecf222922eeb1c1e983000088578d853322c DefFunInDef Instance TypeMismatch
4f7743b33706314829584409b332ed5e710c0c80 DefFunInDef Instance TypeMismatch
a2f6a4dde0993ba4b5863a9ce65e86fb6a503fb3 LetDefFunInDef Instance TypeMismatch
e2c1c03fe23a67004632a0b5beb49bb7c9c907fb LetDefFunInDef Instance TypeMismatch
3af7c5983e557e81b2ed9ef8358fdb0f90251a6b ConstantModelValue Instance CanNotBeCase
3a0e5cd2f0bdccbcb0feebd08dee189f34a7bb33 ConstantModelValue Instance CanNotBeCase
f71bcff4c2cfe1a237c16fa6bc8c9a0507d2e102 StringEmpty Instance CanNotBeCase
c26e37285e4f7ea414934b5dcd11c3b0f3955dd7 StringEmpty Instance CanNotBeCase
6e89fb2c26801f797e31259ee0de8d04821204d2 String Instance CanNotBeCase
6c25bea2f6c541a93f8bf26c053ea3eeac0d2d29 String Instance CanNotBeCase
357560209d6c84bda22ebffabaeaf94f56db6b19 NatSet Instance CanNotBeCase
fa71999edb479da7b2fbb02d2d04afddf0562c29 NatSet Instance CanNotBeCase
5aa7dcdd0c55c71fabf824b6b5a4dd7835ba3cf1 IntSet Instance CanNotBeCase
09107af3e7bd8de8f68e8660f0709157130a4d4d IntSet Instance CanNotBeCase
7aad368493e51877873cb97d79cfafa3a170e9f6 StringSet Instance CanNotBeCase
1e397a341587d550b683202bec49200101956f4f StringSet Instance CanNotBeCase
acc9e1989cde1b8e3b31f9eb6fb781a05bdfd1c0 BagEmptyBag Instance CanNotBeCase
3183f069cb6e7a27dd1b78c9ce61b4cc11329e6e BagEmptyBag Instance CanNotBeCase