Index

Skipped feature combinations by plug feature Fun

Id Case Feature Plug Feature Skip Reason
7e1e1fe3d7c12cbd887e7360096b4e095fed7db9 OneLineComment Fun CanNotBeCase
43e7dba01a7f43de68127148c99bead6c85798a9 OneLineComment Fun CanNotBeCase
6f8b129e2f3d1166ce9e7cd75fcd94cb58639aa2 MultiLineComment Fun CanNotBeCase
f69df6db45fbd240b50a6b61dca227ace2e80d63 MultiLineComment Fun CanNotBeCase
6bdd2c8106c2e6a75f3ba27691777515dfff8f0b BoolTrue Fun TypeMismatch
179be47dc4f552baa340c88fb7cd7096675039f7 BoolTrue Fun TypeMismatch
946b074e49a98181ef4bbf06957bfbef09990627 BoolFalse Fun TypeMismatch
31b04606f6157fe9f59dc968f857261128c51f8e BoolFalse Fun TypeMismatch
5ed61f6188a6a8a5e344af3675fc4e483e02e7a8 BoolSet Fun CanNotBeCase
d7c0154ff9452c705e2ceae50ad03a07eb29f02c BoolSet Fun CanNotBeCase
9306710e3f3b6a87ca44e8470c4f29ae843142aa And Fun TypeMismatch
33c88f77a395b498048ae2ea8ceac7846eab5a15 And Fun TypeMismatch
d95308ce5070fe1431f15f18f143dbd18ebf6c4c AndMultiLine Fun TypeMismatch
31faed84c6f908c7af176d326ef03b489368a7b0 AndMultiLine Fun TypeMismatch
0008120815ee9be1c7eee48b428cc175f0863eaa Imply Fun TypeMismatch
6b17ab8cf993927601999581a6099af518931379 Imply Fun TypeMismatch
b1d5b420e38cbbf55477cf4026023d7ac853bdff Not Fun TypeMismatch
5b8fd875a3d73fb3d75778cf611c1dce87710caa Not Fun TypeMismatch
df2163637deee2580c3585110078de878ba70fef Or Fun TypeMismatch
601ec437707274218fd7f7673f8eb6d14d0367c9 Or Fun TypeMismatch
d954e9bd68ec56fc809bad603ef0d8674eeee80b OrMultiLine Fun TypeMismatch
42a22ba6b0bd65856c477d0bac48a21d46f4feba OrMultiLine Fun TypeMismatch
9b04e41ea1a5d15bacd12b9f8a99823c785dc5c5 AndProp Fun TypeMismatch
1f57abef95ca66dd363a50e094811c718f885301 AndProp Fun TypeMismatch
b1eb1d63e9f0574339384c308e63fa7aff296434 Boxed Fun TypeMismatch
5cf3bf9440dc66e08648fff68e56296e14670be6 Boxed Fun TypeMismatch
2bfc72ab1440f94155f2ab3f5f8f5cf962fc25af SetEmpty Fun CanNotBeCase
86174b2ddc9f55084b528bec83f5d9f562cb0931 SetEmpty Fun CanNotBeCase
3d1784853b2870b68f1cd9a1a8c0f7a91c2fdf5c Set1InDef Fun TypeMismatch
20fa0ecf66ecafa0792d5d7743fe0d4f61eca2a3 Set1InDef Fun TypeMismatch
4cf17b14c3ecccdda55bde2641173d2bbd73c44d Set2InDef Fun TypeMismatch
c82cabc68822ed41d92c591b05657c29c74e8fd3 Set2InDef Fun TypeMismatch
08d31c244eae9b72fbd1b0ce434c487d3962a5bb InDef0 Fun CanNotBeCase
9a225d68e7d3dcd97e3225f91a45d87965fbd085 InDef0 Fun CanNotBeCase
1e088dbf14bf1d6e20c3d7228c3435c3c701a182 InDef1 Fun CanNotBeCase
cd6e7151fe44cd5b30a21bf00ceb04a7a36ba189 InDef1 Fun CanNotBeCase
a626441dbcf00dc6f54e8859b10c06bb336aa8bf InDef2 Fun CanNotBeCase
b57488a160cbe8fe87e0326de0747bda9453b28d InDef2 Fun CanNotBeCase
85da468be73b1f8b857f63606bdf030cb9df32b8 FunInDef Fun TypeMismatch
6bf7b220b535767ad734b01edf0aafeb64471ae0 FunInDef Fun TypeMismatch
b16f98400ef5f1a8c142e4bcb1755b7be78c902e Exists Fun TypeMismatch
2510f4da0deb0640872302b65b76c9c460508f7f Exists Fun TypeMismatch
a0be9c983fd37a1b1ed4fe173e92c2764eb01c69 Forall Fun TypeMismatch
a33ade03a8c4d7ecb5dec99a6f60c183480617ea Forall Fun TypeMismatch
b15fdc42d8ab9f169de02a5e2d9fdd215e57c25c ExistsInDef Fun TypeMismatch
96394821b1a5c43c7be846abe8da0a01461f7dc7 ExistsInDef Fun TypeMismatch
6f48973cd86abd15705e6400d129e4ce19b5d051 ForallInDef Fun TypeMismatch
4b12720c26f6072001845f97d204262ea39fc8da ForallInDef Fun TypeMismatch
d7566c4073ffaab089d4c4aec9bf6a70153e994d Choose Fun TypeMismatch
68896abb96469ae005535171a4bba8e0f1b679a9 Choose Fun TypeMismatch
81178e48523dbe6ffd890cd8ae780c08cffb861e ChooseInDef Fun TypeMismatch
92370e6bd3f8b87e451f7368d76910d516e42d1f ChooseInDef Fun TypeMismatch
8b12f484190346ef8656c45d1d91cc0e7a9cd4fb TupleEmpty Fun CanNotBeCase
38f808a5b66e46f19f840335f22ff5217b2fcd22 TupleEmpty Fun CanNotBeCase
265a728908fd1c980671609146d8cd0f0b153cd7 Except2FunTuple Fun TypeMismatch
024cb9c5bd42291be8794fe46780b102e84190a6 Except2FunTuple Fun TypeMismatch
a38301f9522e5584215e46c82abc2c28426a10e4 NumZero Fun TypeMismatch
57f29f5551b77dbc891709910503ff8ce06db92e NumZero Fun TypeMismatch
f09d87cb373ef3189235d48d708ee781f315dd15 NumOne Fun TypeMismatch
249aeb624ea993941257da497ad9b0855f6aee16 NumOne Fun TypeMismatch
e779ae9fd572455e0c6a3f96f599a922c13d0af4 NumMaxInt Fun TypeMismatch
f67c08e757623be73d3d6d443eef0d8901e6178f NumMaxInt Fun TypeMismatch
727c3e44f9f499793afa9144148c4fa1a34e2580 NumUnaryMinus Fun TypeMismatch
f803c21b4ad615b9e094c59e86be4ac7c7ac0810 NumUnaryMinus Fun TypeMismatch
0071e9e571ce417dadf9627e519615c90a2b71db NumPlus Fun TypeMismatch
9a9f73658e3b49d9be86b96238fee62273052b88 NumPlus Fun TypeMismatch
5caf50ff2a92bae274ec289d206a004781f15d6b NumMinus Fun TypeMismatch
ea5fce855fc835eaa0f41f31fddb8125e74e0ef5 NumMinus Fun TypeMismatch
962a5dc4b6a63144b6e9fb169335e9f9c0db1af8 NumMul Fun TypeMismatch
ae24c98ed984efb96e1331327e8058ac7b8e2adc NumMul Fun TypeMismatch
0f36af2d9367b485774e321cc253d97b7fa3eee1 NumDiv Fun TypeMismatch
91a66a96c57ae60f2b37baf71961c42c7f63b9ad NumDiv Fun TypeMismatch
168e8b88e1797c0f608fada749931ca2aff93d3e NumMod Fun TypeMismatch
16b7067e0712227ce8aa770074641107152edfaa NumMod Fun TypeMismatch
d169a7d14fdd6e59b81f99077f887d71ad3c705e NumPow Fun TypeMismatch
0f5e0c6539fe733779d4d27b958003a97ffd7e28 NumPow Fun TypeMismatch
502c8d28fc0a60487d2606dfce9342d43a4d50f2 NumGt Fun TypeMismatch
0385525ec2f0ed8ad19c952f3ee7421ba7828641 NumGt Fun TypeMismatch
dbf664ac41d600a47ffa6fa43fa55e2f92053d76 NumGe Fun TypeMismatch
dd761104fcb6fc8e41f41e11a281195c13174656 NumGe Fun TypeMismatch
f5501afec9e877fdb2e37d329f173019bd5713fd NumLt Fun TypeMismatch
c4071459214bb15245f1b8f81def0a419d287ebc NumLt Fun TypeMismatch
6b6b0877c244bbd45004717a7390ea6d87aac0fa NumLe Fun TypeMismatch
f6f5b65e6779ebeedfe61ae30c456a172ca37985 NumLe Fun TypeMismatch
4305de2ae8481dd09aa255a5dd8b6a89fe7897fe DefFunInDef Fun TypeMismatch
0bf86a8ed77805aa16c163dff4ed606aabcab860 DefFunInDef Fun TypeMismatch
989dd26493462173f36ec27f06ad18403d91643e LetDefFunInDef Fun TypeMismatch
0785cce659cdcfbaf8c091b75c26a9f22580a957 LetDefFunInDef Fun TypeMismatch
27359afb4ba56241d21d2ee901e92cefcceee454 ConstantModelValue Fun CanNotBeCase
4739e04030922bfce37ac7ed3c3b046b1fb9334a ConstantModelValue Fun CanNotBeCase
3f55f51e286bfd9a12f53cda5c4accb92280769b Enabled Fun TypeMismatch
f4811ec7babd26a5f27a2cf77585237c93d2ef3e Enabled Fun TypeMismatch
a8b755e41cf87fd65ee54cebdebab6617ebc6a12 Assume Fun TypeMismatch
12d913ed9b83155af770ddefefebb38dce7bedbf Assume Fun TypeMismatch
ed4defcbba993392bca6d02ee9108c437ed8fc6b AssumeNamed Fun TypeMismatch
a33acd5b47261410554d68de5ba54f6c48b7e8d0 AssumeNamed Fun TypeMismatch
171c2bdf835edee5dad8cd65e179b2d4c2eaf71c Cross2 Fun TypeMismatch
7f9a531a3afc7c2c8d4045379eec52b5b7fd2a72 Cross2 Fun TypeMismatch
df19c9ca8d2aa1e901e217fb57d330e2b2936589 Cross3 Fun TypeMismatch
1cf3ad0108b2bfe87c6e55da5b7bd63427237702 Cross3 Fun TypeMismatch
d3c4c3197680f55c9d602f306c51d6894ce27f7e FunSet Fun TypeMismatch
f2a279095a35283fd06f1ebe981b0614874ac00a FunSet Fun TypeMismatch
1f14d4573e8d57ca1052547ffa17d994d25680fd RecordSet Fun TypeMismatch
e63ffa4ea3f5a953ef6dde41d288e9cd52d53032 RecordSet Fun TypeMismatch
9aabd248158027094ea8322eb40367dd0972b69c SetDiff Fun TypeMismatch
6d6839b351cc9791b13fad587a39c5f03d186463 SetDiff Fun TypeMismatch
11c9646cd32980bea37cfe66d0c7cdd6375c66d5 SetUnion Fun TypeMismatch
d50427a853d6874fefd16f9a5ea197dc382c59fc SetUnion Fun TypeMismatch
d93f057528bfb532d3756f8ee59489d72c09e91d SetIntersect Fun TypeMismatch
a433c0429c973cb35c595f1e2111d2e64cb6c0b9 SetIntersect Fun TypeMismatch
702883aad4e1ac77ba0c7463e07c8d45a11bfe58 SubsetEq Fun TypeMismatch
ff4bc0ad16cc4b58e16a72727f9d61af3a75375d SubsetEq Fun TypeMismatch
494865a0882d1dd4f5fa236e605c789e9a853d68 IfCond Fun TypeMismatch
badb3df34b589e12e0bc88f1d6fd0081be4cc54a IfCond Fun TypeMismatch
f5ebdc40c5e60a6478d03872bb422a51634e0147 Subset Fun TypeMismatch
74d9f59519af7a2f7d882bdedbeac9dd5ea61e40 Subset Fun TypeMismatch
c692f874e5ddb939e8d13419b9a86d21ce117063 Union Fun TypeMismatch
9528033ed010eacdcf853090c399e7bf38a9247c Union Fun TypeMismatch
6ceeafd4cf8d246c46ec8dc0ca43fa2d7104c39d Equivalence Fun TypeMismatch
fdf168fddb464cffe8589ea0e6711127a5fc2470 Equivalence Fun TypeMismatch
bb1dace1f5437205c9d0995d008b1bce2b7d116e StringEmpty Fun TypeMismatch
5fbf952862672f037b101845e343c00884d95e16 StringEmpty Fun TypeMismatch
d148fa823d4c43d009c6c4418c0b4dd233fc0534 String Fun TypeMismatch
99295e171e04fb65e322e732cc546337e7299e18 String Fun TypeMismatch
8e0c96c2d9aa9a142fe5db527f1266e9c3bb74c3 SeqLen Fun TypeMismatch
137f3da68e9199cb02a8494a1701f236fd08baf0 SeqLen Fun TypeMismatch
c2c140b88ac8dbd83e0034a8ad29493242bc412a SeqConcat Fun TypeMismatch
5ab8e986b30d4ee08b6fc23b0e84b9ba2ac48c2a SeqConcat Fun TypeMismatch
841375d8a88e3b439d4faa1815611a190633b33c SeqSeq Fun TypeMismatch
0b2f66f99035ee2fb66ca91ac0547d867c783d53 SeqSeq Fun TypeMismatch
f32b95f1d1a82b3c6b4e1fb6177b4b3e25188b9a NatSet Fun CanNotBeCase
8d3e3a6f93b72db8b96dbfaa68540a2e102e9191 NatSet Fun CanNotBeCase
02b5c9d9a233958a1e0fd2e14107d71d62bd4525 IntSet Fun CanNotBeCase
6e5211819d20e18cd8b7a83f40f12086fe2df507 IntSet Fun CanNotBeCase
6b8bb7c1b8aeff3f76250b04b7b3cedb89032041 StringSet Fun CanNotBeCase
31d6d2fb5b057d82de0b6fadc3924c0373e19284 StringSet Fun CanNotBeCase
f9347d3f401e831342ae896925ede7474c203d77 SeqSelectSeq Fun TypeMismatch
6daada9f351fd18b3a10417be1721a6745dd78e5 SeqSelectSeq Fun TypeMismatch
9bfcb7b709007d1b37c4dcd640376e6e4b286694 SeqSubSeq Fun TypeMismatch
cbb580d53facb44d243cf8534cfab13bfa51a254 SeqSubSeq Fun TypeMismatch
5e0e6ee7d68fc2e477d553fc0bdcc64d411a1c7e NumRange Fun TypeMismatch
07ec29af4ee4d85d74d9e61795e575cb653999a2 NumRange Fun TypeMismatch
417c3dc62b2dac917d2eb873448d9c6f3ff55800 TlcPermuteFun Fun TypeMismatch
6217cf11204b32262716529f470ad99995bc00d1 TlcPermuteFun Fun TypeMismatch
732ff762f6fb840b6c46ac6e963934f00ad09429 TlcSortSeq Fun TypeMismatch
d0eb32a33e5cad4552cf2bf2cca166c7f6ee7c54 TlcSortSeq Fun TypeMismatch
1277919fdcf6ea017bd9f241664ddb1fc7d11b2f BagBagToSet Fun TypeMismatch
d4228c9ace47268070d433f45d521d9cee1c0df9 BagBagToSet Fun TypeMismatch
c843a6d3481ba3d3e43271945b9bb24fcd5c987f BagSetToBag Fun TypeMismatch
8cbee1fbcc5e616fd86fc11ba838a40a5eeea4f4 BagSetToBag Fun TypeMismatch
b965b83395c6e70fb8453553969a9cd06e6286c9 BagEmptyBag Fun CanNotBeCase
f398f4ee8504752db4e5dee959e9da10ecda2994 BagEmptyBag Fun CanNotBeCase
162393569f786edb21cc583d5560864dcb5a1a49 BagAddBag Fun TypeMismatch
705d459032fcf7d215c37b6cdf0eda204589fff6 BagAddBag Fun TypeMismatch
b97833be7d970ac34274b24771d4e23757d56efd BagBagSub Fun TypeMismatch
32263d50a380e01b838c0c6b7ccf5a48297da1fc BagBagSub Fun TypeMismatch
7f01f270b9ebccb876cce2b5ef6f21f690d4d94a BagSubsetEqBag Fun TypeMismatch
673877d715c3399c46a7221a19bd54202de027c7 BagSubsetEqBag Fun TypeMismatch
bfb627efdf36968567e290a3b4e4d412f1772ce8 BagBagUnion Fun TypeMismatch
e5f53fcc93d45e27689066d199744849f3a11826 BagBagUnion Fun TypeMismatch
183285e94dbd624639b6efd8f1685d25d1877745 BagBagCardinality Fun TypeMismatch
02b8285e8224b05e506dca1b1631f4e081a7bf3a BagBagCardinality Fun TypeMismatch
172eed8fe69ad6439433d5db04d2b18f83c56d4c BagBagOfAll Fun TypeMismatch
532354975015d313370d41dd17df3955afac1d02 BagBagOfAll Fun TypeMismatch
d9cd379c13b655b3db86c93392cd2dc48b57a14e BagSubBag Fun TypeMismatch
d298305d99e678c90e1642845a0c66d41e74b752 BagSubBag Fun TypeMismatch
98818d4153532e079c22014df9344581f97268bc FiniteSetsIsFiniteSet Fun TypeMismatch
89a5badf7f06d431dec9ddaa88351a859efc3c23 FiniteSetsIsFiniteSet Fun TypeMismatch
438d3a56cc6b2bc302f8318fce30541692cef27a FiniteSetsCardinality Fun TypeMismatch
68fd2910c6a86fbe922a3815a27fb2af6c621d94 FiniteSetsCardinality Fun TypeMismatch
2ed39645c35337afa522bdc27965fe8ca8cf9de6 SeqHead Fun TypeMismatch
ca5b0afc7ce1359610db4b2709e11f9e4e0b9e4f SeqHead Fun TypeMismatch
ceeb147ca649cc7c6392dcfacc4bdd6aa9e55dfd SeqTail Fun TypeMismatch
e84564e2834d9b78e0b74719370c9acfde711c9b SeqTail Fun TypeMismatch