Index

Skipped feature combinations by plug feature FunApp

Id Case Feature Plug Feature Skip Reason
d34714839ff1f7966e86261ad631000c834fa206 OneLineComment FunApp CanNotBeCase
31dc8cb42c20965ea316cab4f34275a3d0cccdb8 OneLineComment FunApp CanNotBeCase
01c627dc185ef5c9f7ecd1ad1b0615de76e7c7dc MultiLineComment FunApp CanNotBeCase
f0efa31fa1971ff3e63fb5a35c1d2308d6101c04 MultiLineComment FunApp CanNotBeCase
781d00afec0e3f159ab8d81d7d40eb6afdd91c2c BoolTrue FunApp CanNotBeCase
df92369e0539ca645254205f47237a3253cf5df6 BoolTrue FunApp CanNotBeCase
e1b8fdb5df0ae7f0b928c263d45755152231184b BoolFalse FunApp CanNotBeCase
970a1c15d95447fe3ab5f7b6096df68e2316ed2b BoolFalse FunApp CanNotBeCase
d23cf945da80f919561665926b1f714acc7a91be BoolSet FunApp CanNotBeCase
259ee381c3d09cb6015932f33394a27ca1b86bce BoolSet FunApp CanNotBeCase
e8797ea3adf6e1fbcdb8032b2f7aedfcb324245f SetEmpty FunApp CanNotBeCase
6a085cab34b5199e99b67f7f7073eb473a517e61 SetEmpty FunApp CanNotBeCase
8bf77900a16a61e3a26f9d7c461956675f009162 Set1InDef FunApp TypeMismatch
62f0d355fca4c1b2bbc7193e857945f3ac8cf83a Set1InDef FunApp TypeMismatch
3b927e24c546842a1fb2b169fc283516ca7b8bac Set2InDef FunApp TypeMismatch
4f49b8fb77506bdc4b0deaa476f4b01c36754bee Set2InDef FunApp TypeMismatch
8ca780270d861b3b639f1f893287d815f0855ba6 InDef0 FunApp CanNotBeCase
b7dd2ddb99c24466501be61efe068c003216db0c InDef0 FunApp CanNotBeCase
e464a59d645fce1cfb89d024e66f1d7ffd566c49 InDef1 FunApp CanNotBeCase
5628cc63d4ed4b0de4b354a021da2c8e5153f9fb InDef1 FunApp CanNotBeCase
23019581761bffef301ccfb16ed9968881d21010 InDef2 FunApp CanNotBeCase
42ad53b22b61cede72b6f9d6dfa81e92e50242b2 InDef2 FunApp CanNotBeCase
e08f89b7185c91afc5fa2bfd35d2a4517ac9b056 FunInDef FunApp TypeMismatch
e5b6162f9a9d83e36de69cb5efc8c657a22280f1 FunInDef FunApp TypeMismatch
13944db369079937cefeb84453c9b30adc770cb8 ExistsInDef FunApp TypeMismatch
f3c5bef6cfc8a30aec4216d906473de401d6a082 ExistsInDef FunApp TypeMismatch
805bf4e1bc6ec1ff18dcecaab6c37ea7e5e14f6d ForallInDef FunApp TypeMismatch
c8088218de33c3635c3964904f844e74d1870785 ForallInDef FunApp TypeMismatch
9e053fea77dbcb6ad31d85e462790ca4b0ffc0fe ChooseInDef FunApp TypeMismatch
451883c524369fffa37c49f99f5caca526507966 ChooseInDef FunApp TypeMismatch
ea815c6163d31a09023c208db3e125afad4b06d7 TupleEmpty FunApp CanNotBeCase
347e43269b5c9ceff8b622ebb8922b3af9457e6f TupleEmpty FunApp CanNotBeCase
29bd53795c60655fb860d9b1aec66bbec9b000cc NumZero FunApp CanNotBeCase
acde85092aaad2758e438faff445383df6a1cd29 NumZero FunApp CanNotBeCase
f69cc7da39b4728bda8b8db2c75f4d735f846463 NumOne FunApp CanNotBeCase
11720e714cd9bdc379b82c4fe0b0923473d2a4ef NumOne FunApp CanNotBeCase
2cab1b785ff6c965fbe15767b57e9b6c151eac24 NumMaxInt FunApp CanNotBeCase
10c232e17a43af2a2979356ec312ca6bc18e8098 NumMaxInt FunApp CanNotBeCase
689bd15b37e0f52525e330ed253473ef563a4af1 DefFunInDef FunApp TypeMismatch
1fd12900fcda6cd4c397ef35aa85bac138f2a9fc DefFunInDef FunApp TypeMismatch
6782fe3dee79c5a2c7f49b84def61a4d5e6c9cbd LetDefFunInDef FunApp TypeMismatch
943f510f4ae7a5e5e6afe06194c3fc35c9033ff8 LetDefFunInDef FunApp TypeMismatch
a85c0b1a8b8fcfc8840652fb765258cf6d0bda52 ConstantModelValue FunApp CanNotBeCase
1189df35269e98ab2fabbe730f5983b596482705 ConstantModelValue FunApp CanNotBeCase
f6a07f372a3a92228e7039d9f8cfc44e5794c7fa StringEmpty FunApp CanNotBeCase
e242be33dc8f2893c87c1868c25384186682a60a StringEmpty FunApp CanNotBeCase
b38e99bef7724815e92cb2cd40fc17330e87bbaa String FunApp CanNotBeCase
3bde87ed0a3f0fbf6627741fb800b194c75d05b5 String FunApp CanNotBeCase
7306d01a52e5a798d02e60cde6be196df0ecf916 NatSet FunApp CanNotBeCase
e9e53df47854b764e8f8dfd4e938d31e92bb1f84 NatSet FunApp CanNotBeCase
21e1920212d0db6db9ff92f8f001dc99ce77ce2b IntSet FunApp CanNotBeCase
60288316c48aeac89463c1ee3379bf3037821686 IntSet FunApp CanNotBeCase
927442bd0913c1490a838b9a957a678a181b488e StringSet FunApp CanNotBeCase
44a26c16ff96fd479094c57e7ee83918b0bcd332 StringSet FunApp CanNotBeCase
4b9e57ab40c4a473ed3af569b5445cf4e1435a15 BagEmptyBag FunApp CanNotBeCase
5209c85d88c542a33163fb1756e966d472dcce08 BagEmptyBag FunApp CanNotBeCase