Index

Skipped feature combinations by case feature OneLineComment

Id Case Feature Plug Feature Skip Reason
0072708d886b20bcc9a71aaff3d2af144e1066f8 OneLineComment OneLineComment CanNotBeCase
d29215f214a85ef911c14b53805d8c20a22d352e OneLineComment OneLineComment CanNotBeCase
b5c1ccd1b421b76ecc00518aa20839e27d6d2e3e OneLineComment MultiLineComment CanNotBeCase
3de6d84627e139c42b0ba4e1918ba56147c0d253 OneLineComment MultiLineComment CanNotBeCase
532d6248a6b0c5629a1464d5f59bed1c3ad15c59 OneLineComment BoolTrue CanNotBeCase
f9461ebc50b571a7f81017343265f0d074171f10 OneLineComment BoolTrue CanNotBeCase
087c69b79796f3d937cc2838ccd53876ca82329d OneLineComment BoolFalse CanNotBeCase
2ccd1555e116eebe479f47260cb32637bb2cb63b OneLineComment BoolFalse CanNotBeCase
71e0d7afa25ef98985653d31ac96aec0d2a6fb2c OneLineComment BoolSet CanNotBeCase
aed0b7b1bf87ba8f31c88ac4a95396d727d83ea6 OneLineComment BoolSet CanNotBeCase
cd38d25a2129686d85f725122660d460cbc6ff6c OneLineComment And CanNotBeCase
24cb3df2c2e236443186afb9b4f8c2fc96503360 OneLineComment And CanNotBeCase
f52266445c5149a80c08022e77f527215ad954ca OneLineComment AndMultiLine CanNotBeCase
706f04977687723eeb23f1add6288827edac2f22 OneLineComment AndMultiLine CanNotBeCase
7e47d4a515aecd946e2b235c2c546f781740aef8 OneLineComment Imply CanNotBeCase
10aae67fb23caea95c570034193536cf87d359c8 OneLineComment Imply CanNotBeCase
bf9ed9290db4b71a1bb0169755e648dd70c12149 OneLineComment Not CanNotBeCase
8b8e543ba81831c8aa6cca1c7fdc6119057de0c4 OneLineComment Not CanNotBeCase
b0b65f30a94d0f645b44e371b62cbdcdf0704171 OneLineComment Or CanNotBeCase
a5a956380c00722a1a9a1500b2b0f2aeeca3d2a3 OneLineComment Or CanNotBeCase
75bca71049a032c123484a1e1b37ec40c82f0a6e OneLineComment OrMultiLine CanNotBeCase
db3fa6535f922e7a37ee3371a31731917f74fe3f OneLineComment OrMultiLine CanNotBeCase
0cf6eaa7b8e945eafb5c741a7f0b81a37f303fb2 OneLineComment AndProp KindMismatch
756a685e20aebe37a80d76917aad19abdea1fc2e OneLineComment AndProp KindMismatch
ead7b4afc599b011bd8de6c40351652833b50987 OneLineComment Boxed KindMismatch
52bc4de0a41a36da09f6dca0b8def8c85b653d05 OneLineComment Boxed KindMismatch
fb3317fdb3c3b72179e9c6ddae3090f938357707 OneLineComment Eq CanNotBeCase
ed9b071feb2ce7f3f290088cdbed9b8e7ec12499 OneLineComment Eq CanNotBeCase
cc6c3e0126aa3867d1c813dacb9ebea2663ffe11 OneLineComment Ne CanNotBeCase
3cedd1048ec9a0214899e5bce2f180bb564ada18 OneLineComment Ne CanNotBeCase
d6a7d7cb36005c4bb0d52aa818d88a4ae2442346 OneLineComment Let CanNotBeCase
3b8acc47416d525d6ef063a477cf18b7429ef08e OneLineComment Let CanNotBeCase
f8dab29d7c7f9b44cad61c4754049da01c784a9c OneLineComment SetEmpty CanNotBeCase
f6516e04b423e247ab9acbf7021c14cdd9268c9a OneLineComment SetEmpty CanNotBeCase
396d8626e1af8ad886daf40940d8469cf9c720cc OneLineComment Set0 CanNotBeCase
2f5804ecc963e22e2af7500378081f4c79b593bd OneLineComment Set0 CanNotBeCase
e14a797851b91c7f3d29ffa5477ffa3a8d12d5d4 OneLineComment Set1 CanNotBeCase
3fd656e943a1f299265acb134b46c7017721562a OneLineComment Set1 CanNotBeCase
75eb2495064de9d58ac339315d6d1c17d01feebe OneLineComment Set2 CanNotBeCase
39fb7d0be7e600f161b1b62a20ccb6f8ad826dfe OneLineComment Set2 CanNotBeCase
1d86bcf42aee2dd0fc7b727d8bc6da57c589a71c OneLineComment Set1InDef AlreadyCombined
82e3f24ccdaea546a21ab5909c6cc5150b4e9044 OneLineComment Set1InDef AlreadyCombined
9f75921fa0f4b014ef9781a7cb0877f2ba132964 OneLineComment Set2InDef AlreadyCombined
39d9f57641099ff83a215ca3f9db28003b68d18e OneLineComment Set2InDef AlreadyCombined
e457646097873cc2babd32e88478a68a0b39a09c OneLineComment InDef0 TypeMismatch
b2256ec984f41ae1d6c4721a5310cc45f233eb34 OneLineComment InDef0 TypeMismatch
1dcadc94b892460247fa5eeb6e7b7757c3e90f7d OneLineComment InDef1 TypeMismatch
c6142629e258f135e27ddea9002a313b4dd3a0a9 OneLineComment InDef1 TypeMismatch
d338633bc1eb1a5b7f54756e795a1a470aba236f OneLineComment InDef2 TypeMismatch
8bd6440aec3c7b272011e7b4ec2da771a33b29e2 OneLineComment InDef2 TypeMismatch
7e1e1fe3d7c12cbd887e7360096b4e095fed7db9 OneLineComment Fun CanNotBeCase
43e7dba01a7f43de68127148c99bead6c85798a9 OneLineComment Fun CanNotBeCase
5afb38aeebe689ca54440f0875e5efc5bc32375d OneLineComment FunInDef AlreadyCombined
8f6d47e836a8603c81400fd1cecc248061cec5b6 OneLineComment FunInDef AlreadyCombined
62edcf722b3c9c8a44d67fe33be7e6616d378070 OneLineComment In CanNotBeCase
c0277b91e15cebcead40209c00cdb3541e0037c9 OneLineComment In CanNotBeCase
9e359349e104f5ba836d62ffb75aa4c54f7345b2 OneLineComment NotIn CanNotBeCase
78862cbf69cef3170926e409dfb94040d33a6c5c OneLineComment NotIn CanNotBeCase
3adf2cb3c6f0da70963d7718c252df530f887e15 OneLineComment Exists CanNotBeCase
c655f68ba274c323499f4ae64233029662f31c6c OneLineComment Exists CanNotBeCase
ba8f1efed583eb84818e5ce759bac9e5e470de29 OneLineComment Forall CanNotBeCase
fc686fa30201b50ca4298359e82e30f1eb6c1d0e OneLineComment Forall CanNotBeCase
4cdab2e45ae07b160e8cc589437ccfa68b75091d OneLineComment ExistsInDef AlreadyCombined
aa4897491e02c1c55da8c625aa846a56a77c2ac1 OneLineComment ExistsInDef AlreadyCombined
c8557e8498023241675b2b31b47d2ff19476fe17 OneLineComment ForallInDef AlreadyCombined
c97ba01dc308f844aaa0becc5cbb4ef4f141cfbc OneLineComment ForallInDef AlreadyCombined
b5134c61d9d4fed125abcb7453de107ae3f0a53d OneLineComment Choose CanNotBeCase
3b75117cfd10262eae45dcc95b02e77ab8c739d1 OneLineComment Choose CanNotBeCase
aed9f302f1b8cd2d0586574285a1befaf7b33080 OneLineComment ChooseInDef AlreadyCombined
4cf220a3115b6957734e4e53246671a4f5b15f51 OneLineComment ChooseInDef AlreadyCombined
bbb44c6769eddaeaa1ec349ea2c4eb1a770821ad OneLineComment Record CanNotBeCase
8df2082904c63f1d6aed5b22285474b14b246aef OneLineComment Record CanNotBeCase
f23569ec895888399e75974551e63a3a4d5490bd OneLineComment Tuple CanNotBeCase
a901a5ad1b1f644d389789c91f6e9c8fad696c58 OneLineComment Tuple CanNotBeCase
8f9e026ad25897824c4d80cd7e7546096fd73c0b OneLineComment TupleEmpty CanNotBeCase
d6e1383a7d6204a15a1c110bef555f5d678158ff OneLineComment TupleEmpty CanNotBeCase
d34714839ff1f7966e86261ad631000c834fa206 OneLineComment FunApp CanNotBeCase
31dc8cb42c20965ea316cab4f34275a3d0cccdb8 OneLineComment FunApp CanNotBeCase
a8221edef4ed6007988d094dcb46354c4267b249 OneLineComment Except0 CanNotBePlug
9ba0645552b455397946482a78fe15379695cf4e OneLineComment Except0 CanNotBePlug
11eafa42af02ac128a562e3d2f248716e3ca99a7 OneLineComment Except1Fun CanNotBePlug
8de8d7a4a6028d42c3609ff283fa6c4c1043e7a9 OneLineComment Except1Fun CanNotBePlug
ede9ad4b291c1a86b34a3117d72bef54c0ed5664 OneLineComment Except1FunWithAt CanNotBePlug
988d5bd0285dcf161596850df0db1cda2c509068 OneLineComment Except1FunWithAt CanNotBePlug
e2d1e242b2ec26aed6b77ed04d00da571c766986 OneLineComment Except1Rec CanNotBePlug
af2b466cc4e25404895c62b04fbe2b6f1a1845e1 OneLineComment Except1Rec CanNotBePlug
51a8222cc4e8a8bed29ca66c70d67bcd54349c17 OneLineComment Except1RecWithAt CanNotBePlug
718ad7e3cd095ad5a4107f6c9e983572bfe8dd98 OneLineComment Except1RecWithAt CanNotBePlug
d8feb5643041b515a3e25413cd3f25ad70d9faad OneLineComment Except2Fun CanNotBePlug
8a8e927be05ed58d88f0cbbdd9d4070397a7d2e3 OneLineComment Except2Fun CanNotBePlug
3fe8e319daf391f1113da52a291cb1151c63a8b4 OneLineComment Except2FunTuple CanNotBePlug
7e37780885b7d643f2c5f959d0044344b29ae476 OneLineComment Except2FunTuple CanNotBePlug
7138d331c7006dba9c546ad5e6e19e732ae87c5d OneLineComment Prime CanNotBeCase
ba7d182974a8f7b112d5696297805adfb7f6be73 OneLineComment Prime CanNotBeCase
eb0b54996108504b04f357a13e4efda1d4fc687e OneLineComment NumZero CanNotBeCase
56d9e36eb20da4a03e4a5d402867f7704cd9928e OneLineComment NumZero CanNotBeCase
412785019ad7c4db3fa5096ead4ff7a23bceb1de OneLineComment NumOne CanNotBeCase
483a8440972c1edbcb196ef5788d5e19a3d9d649 OneLineComment NumOne CanNotBeCase
e060d6cd9b9497c6ceaa102e6149dd0d990dd08f OneLineComment NumMaxInt CanNotBeCase
8b2c5fffc451cf7c17aacab4435423295caf8bcc OneLineComment NumMaxInt CanNotBeCase
63d654c4027143ba3753f8342ccdeeefd1953bd2 OneLineComment NumUnaryMinus CanNotBeCase
b11d855f214782d02fa00f92af4e6d999e0beeba OneLineComment NumUnaryMinus CanNotBeCase
0b90094b443a9dc1d14b1c722f35890f61cc8e80 OneLineComment NumPlus CanNotBeCase
17b396d58e0ab56c552242972a67573930f4446d OneLineComment NumPlus CanNotBeCase
aead075a6f9d9a2b7e1806cc8dfa9e8c00bf6418 OneLineComment NumMinus CanNotBeCase
232b0363fe2c718380ff016c70b23cd7906ac01e OneLineComment NumMinus CanNotBeCase
6fec42fedb2f00edec3e4c979f6fc1814b0c0591 OneLineComment NumMul CanNotBeCase
b72ffb6118e327ea4246184f4d10da007818a4d5 OneLineComment NumMul CanNotBeCase
94f787d9ddcd23da8290833ff772051cea781b03 OneLineComment NumDiv CanNotBeCase
f95653c2698f6559db383bcceda03bec5eb02ee0 OneLineComment NumDiv CanNotBeCase
478715dea04bed4a9299ae4a20db0d1d4bc47987 OneLineComment NumMod CanNotBeCase
2c682ee332cbdcd01f6ef50f1894ea505a6f1cde OneLineComment NumMod CanNotBeCase
767ececac10b0859ed328e0f998be875963b7bce OneLineComment NumPow CanNotBeCase
01bd9f817a183f0384350ef15d734e2edf34101e OneLineComment NumPow CanNotBeCase
433d207552da7d7ea73cf2a74b73c29ed857a8f9 OneLineComment NumGt CanNotBeCase
41e7b8210cf1524dc8ad6ad3e04d0edcf38009e1 OneLineComment NumGt CanNotBeCase
ede133eb8d0cc14dd60c5721da7f52bc16bebe46 OneLineComment NumGe CanNotBeCase
aee40485d8509b187e2bc25b9f37f739c1a24e8c OneLineComment NumGe CanNotBeCase
d3eb125c68010c54e62cab484f418db51510de5f OneLineComment NumLt CanNotBeCase
7ca0662d7e8d8114a3e9f70d1c76ecb9dc905e6f OneLineComment NumLt CanNotBeCase
75c724ec5d55904f23487aaf87c46e684e61186d OneLineComment NumLe CanNotBeCase
dd79b3d597d47351b59db5b9c7475ef6996af59a OneLineComment NumLe CanNotBeCase
05ea2fc66be6c78b2da1cd2b7bd3ed27261c5983 OneLineComment DefFun CanNotBeCase
7961a1e99bb469239a28e7753cdaa847b1a144d3 OneLineComment DefFun CanNotBeCase
5f6b40353c51368ff444aa05c3ab5b62098f24e4 OneLineComment LetDefFun CanNotBeCase
1a271045c8fabf9269e802b2e0e2b0e8b2558fed OneLineComment LetDefFun CanNotBeCase
b5fa40617b6c7f966c6a47824c3dabad7db7d102 OneLineComment DefFunRecursive CanNotBeCase
8710f8700eff77fd37233806a94105c15f0f8b3b OneLineComment DefFunRecursive CanNotBeCase
dc3b9b20c94f38c9ec45b762dcc748180f8b771a OneLineComment LetDefFunRecursive CanNotBeCase
ea47417b42da65a40dab489c00e422cb94e6affb OneLineComment LetDefFunRecursive CanNotBeCase
358c3fff1d0639f88d213dd092cf90407c12422b OneLineComment DefFunInDef AlreadyCombined
1be88cda2d21086217b390933b88d5e415ffb4d2 OneLineComment DefFunInDef AlreadyCombined
54be41de975e9ee182b7adbe5d8cdecb0a5fc8ec OneLineComment LetDefFunInDef AlreadyCombined
5d26544877dbeb7d2aad5b9239aaa519625daa97 OneLineComment LetDefFunInDef AlreadyCombined
1120ca28d7ff8a2459789defe198198214a15418 OneLineComment Def0 CanNotBeCase
750238e6a726486b8cef6130550f5c66b19bb78b OneLineComment Def0 CanNotBeCase
977f903181af71b2a7d5f5e90c87aa0ef9f862e2 OneLineComment LetDef0 CanNotBeCase
a345ea51946ba62859a26d2724e95aa0cb488269 OneLineComment LetDef0 CanNotBeCase
642d606014de7b99e31432a099ba408f81ea47b8 OneLineComment Def1 CanNotBeCase
6b414e8112aa2e1123e935841827d69d68eb6c50 OneLineComment Def1 CanNotBeCase
6065ce856ad31e13a9dc9be903335e63ff6176c1 OneLineComment LetDef1 CanNotBeCase
241107a75c22340283ed469bf37de6cafae13ea9 OneLineComment LetDef1 CanNotBeCase
ee3a3c03e3c72e0d991415e2747a04720143e30a OneLineComment Def2 CanNotBeCase
12d83e3ce99aa7b5f52da893856e98a5a3e090c9 OneLineComment Def2 CanNotBeCase
065e1f2997f43fd4f690203cddd16c7f776c9429 OneLineComment LetDef2 CanNotBeCase
dff73870d65aeaeff1ce69ecc8f700ed9d9c5ce2 OneLineComment LetDef2 CanNotBeCase
30b8e41761b37dc01ef89a788eb23d875d8fa21b OneLineComment Def1Recursive CanNotBeCase
a442ac4ce57fd232df55a77f6c31cf23b3441ec2 OneLineComment Def1Recursive CanNotBeCase
f8aafae16a1a5de634c92f6571537a6df2fa9f0a OneLineComment LetDef1Recursive CanNotBeCase
6a707f92249c25b54407f4b07806d28dc5ea297a OneLineComment LetDef1Recursive CanNotBeCase
3f6218bf1db4f2b1b82a8e3f056859bcdcdd8a36 OneLineComment Extends CanNotBeCase
3dc4097a7ff6fe4eb4b9d9308e123d5e6e7ab0ba OneLineComment Extends CanNotBeCase
c00370ef53ff9eed26dfbfc9d31959cb46a3f02b OneLineComment ExtendsInDifferentFolder CanNotBeCase
2ae13fc7dde2daff6fb8d97a3c0bbe41b1fb5291 OneLineComment ExtendsInDifferentFolder CanNotBeCase
512af7e02622690c18f49da8d6181e550e8a4093 OneLineComment Variable CanNotBeCase
6097ef8225652d9e1497c9c9c569d8434b627d48 OneLineComment Variable CanNotBeCase
941fff2cf42b1ccd5128ca05002444ed65e6ef70 OneLineComment VariableViewExclude VariableExcludedFromView
90b29e1c2b5346c1f62006b960d61d624a94bfb3 OneLineComment VariableViewExclude VariableExcludedFromView
d0adde9596fa67a95afec4af89e5d898b8bc2cab OneLineComment Constant CanNotBeCase
ccd5dc6b1fbb9248fce0d73990a3c4dd497b7b30 OneLineComment Constant CanNotBeCase
43178f0b5ba0872b9d0d67bab32aa37354b0f649 OneLineComment ConstantModelValue ModelValueCanNotBeUsed
078063694d2eecbf6723d6aaa73025cab3acb0ab OneLineComment ConstantModelValue ModelValueCanNotBeUsed
f8d8c6c461006277167e94f0dce3df24bec5f94d OneLineComment ConstantRank1 CanNotBeCase
b33679e34d30df32378cad237b2bf8204b0003e9 OneLineComment ConstantRank1 CanNotBeCase
526c06a4369e018131b055ce4996264924bf12d5 OneLineComment Instance CanNotBeCase
094525f31c72d1d7984a9351ac3a837ffc1759e1 OneLineComment Instance CanNotBeCase
04509eed897e1ae956fbe81526a6a6e0d42425cb OneLineComment InstanceWith CanNotBeCase
ddc4fbae66f653b91dc07ceda440918844dd1f70 OneLineComment InstanceWith CanNotBeCase
49665e7bc748b78d5829e9f300a3c865de257d38 OneLineComment InstanceNamed CanNotBeCase
9d62136c0388c31466eea337241d54e253008724 OneLineComment InstanceNamed CanNotBeCase
a4921ed976d820fc3457b998090029534eeccab7 OneLineComment InstanceNamedWith CanNotBeCase
58ec6627f6b47d3d270e9f45b660587f1cd59e1b OneLineComment InstanceNamedWith CanNotBeCase
ef07994a8996e7dc3767298c2e4c384350a0d42d OneLineComment InstanceInFolder CanNotBeCase
89934a2623336a7a9692d181269d33489a615b6d OneLineComment InstanceInFolder CanNotBeCase
260f38bfa43788d19b90951fa20b154f026eea71 OneLineComment InstanceWithInFolder CanNotBeCase
27fdc28755d9c35f020055cab96378cf8e428fb3 OneLineComment InstanceWithInFolder CanNotBeCase
9e4e45807de30f34e3a0f13f2ba77554d2766487 OneLineComment InstanceNamedInFolder CanNotBeCase
599bb1d0c0b2fc71103889656f5e3d41887adbc6 OneLineComment InstanceNamedInFolder CanNotBeCase
aafd7125f286338b81f93176edf6544cca9d0622 OneLineComment InstanceNamedWithInFolder CanNotBeCase
47e906a23283d61cf2890bd3330423fbac142226 OneLineComment InstanceNamedWithInFolder CanNotBeCase
9d2c4a0af9d502fb070b1f9a2f4ec94da8fd0294 OneLineComment Enabled CanNotBeCase
e16a90fd18ccb42a0aa788ca390b6e33db3a3893 OneLineComment Enabled CanNotBeCase
3dc091c623c9abf1b1f1a2bd6034baa6ae3fca17 OneLineComment Assume AssumeIsNotEmbeddable
bdee2c15e0b72dd3c794cc273f83d64023e1620d OneLineComment Assume AssumeIsNotEmbeddable
fe090d5e7a56833a88a052dc89ed2a1d2bdcee7d OneLineComment AssumeNamed AssumeIsNotEmbeddable
ddf75a97d832117015f84b1614b5798953dba31d OneLineComment AssumeNamed AssumeIsNotEmbeddable
a556f44f497c9ca96ed193596cb30949958db154 OneLineComment Lambda TypeMismatch
49d961aeb6b3b3c9b254a95aae0c5e7ccbe1a9e9 OneLineComment Lambda TypeMismatch
89c70d0607e939e53c284df7c99b320b724ed3ab OneLineComment Cross2 CanNotBeCase
0dd8e123b99cbd74540401b0b677518787560b3c OneLineComment Cross2 CanNotBeCase
c951d12acd33b89b0bcfe3ba504619cd6db03d0a OneLineComment Cross3 CanNotBeCase
a729ad5c0804019e32e67834507d4fa18182fc6c OneLineComment Cross3 CanNotBeCase
643b4f0d6f9720649cd09debf304ed173a79a4a5 OneLineComment FunSet CanNotBeCase
1f137cb10e34c01ade59ecc1ee41ddcb45728d49 OneLineComment FunSet CanNotBeCase
098609a288f22659f49babad8bd1ac3cbf9ceba6 OneLineComment RecordSet CanNotBeCase
c5ce8634a25fbb8deebfa59d7ebe8f244323394f OneLineComment RecordSet CanNotBeCase
a3d82065305ce225bf7ac87cd38e08caa926d13a OneLineComment SetDiff CanNotBeCase
3d60ff2dc2d0e0416d0a02f9d5fb7205a768c5a8 OneLineComment SetDiff CanNotBeCase
8d95fd382fe7706f62184ca7a261ff0f25196429 OneLineComment SetUnion CanNotBeCase
10a9a5760105f3a097c0eb7ddab7cb738aac8023 OneLineComment SetUnion CanNotBeCase
68808c7f3a689ba3eb02216d1e903a95539e80f7 OneLineComment SetIntersect CanNotBeCase
b2f2b8ac4d9db33757e8b78a967bc22aba1d309a OneLineComment SetIntersect CanNotBeCase
720ff379ad9708690668fc19a223cadadd77d00e OneLineComment SubsetEq CanNotBeCase
579132d2f9209775d6d7e5384dd08fcb16d6f5ca OneLineComment SubsetEq CanNotBeCase
0a551bf864f7f9f6b2692a40bd93cd77c1479a23 OneLineComment IfCond CanNotBeCase
50871befa10bfe47bcd22d9529fd4dd5dca203ed OneLineComment IfCond CanNotBeCase
02471d5d797c9963a7ea9c57e5f5ebe98a4febbf OneLineComment IfThen CanNotBeCase
ffc1453d894fb031cbf2ae960ba8ea219b9b2f12 OneLineComment IfThen CanNotBeCase
994dfaefe26588079767c86f9d3eca2303fd80d3 OneLineComment IfElse CanNotBeCase
db6ab41c380e7bc72b6ac866388ac33c3d28c1ef OneLineComment IfElse CanNotBeCase
dd10aeb109ed5db95ea0213d2162e78c96e23dc6 OneLineComment Subset CanNotBeCase
834547ff6271deb6be1d316ed523c5e0b3789e71 OneLineComment Subset CanNotBeCase
65d116f908d31468dd914c2f2da5388c2379902b OneLineComment Domain CanNotBeCase
689ead8f3229c7d72027a765c9db1c3ae7efa5cd OneLineComment Domain CanNotBeCase
cca300e208c2d394de59391d64b71e47b9acb096 OneLineComment Union CanNotBeCase
a8ae73d3d5cd51c6b15f623250e5f158e518b049 OneLineComment Union CanNotBeCase
a4d0b5a1b713e7dcc3fdc055cf267975429fe644 OneLineComment Unchanged CanNotBeCase
dc2494dc6afbfe51b2f80511ddd5277233d25a4a OneLineComment Unchanged CanNotBeCase
3b1c16cbb9dcd0a7202b870ef84e3b5463db0f89 OneLineComment Equivalence CanNotBeCase
870910fef241ccfa43ef81635da5c894f4e71193 OneLineComment Equivalence CanNotBeCase
db6eb0126ba79f84f72c215aa117fb3e7a5fe8a0 OneLineComment StringEmpty CanNotBeCase
133c4c89db051bf60c7b8ad6caa3a1b92510685b OneLineComment StringEmpty CanNotBeCase
6b41382b02318a4376904cdd256cfaa4fc60bf67 OneLineComment String CanNotBeCase
b0f941299c19ca7067914b40ab71675da184d0cd OneLineComment String CanNotBeCase
adedddd75bac99dc30c1da8c27d9fd6e798ad559 OneLineComment SeqLen CanNotBeCase
1cb1269908b952a5c2f770cb033278fd89293e60 OneLineComment SeqLen CanNotBeCase
d271dbd61cfb66b23cff8ec58858b7691ee0df28 OneLineComment SeqConcat CanNotBeCase
e7895ec3e8b2295c080b3fc3626734f75d30ded1 OneLineComment SeqConcat CanNotBeCase
ad449de229c964634df96ff439ab888ec0935f0f OneLineComment SeqSeq TypeMismatch
b1fbd783d79b1a5c7082d50e91adb71d68b8b561 OneLineComment SeqSeq TypeMismatch
dc68c928df674e694f9276630492c1ceac88071d OneLineComment NatSet TypeMismatch
f275d25ea7c3274e94304e9c07286532a801b61f OneLineComment NatSet TypeMismatch
afd0342d736b67a09b7a43d366bd731920d6e0cc OneLineComment IntSet TypeMismatch
6c0c33206c822ffc5b72021d41c60a53932d78bc OneLineComment IntSet TypeMismatch
def36b2f6d7f446c3024c750cae4e537d8f6d9c2 OneLineComment StringSet TypeMismatch
77caf00cb8c9fb02f5d2dbefadd2da62e8b9cf8f OneLineComment StringSet TypeMismatch
3fa107a6851a55453845e4f945e1aa693cacc9bc OneLineComment SeqSelectSeq CanNotBeCase
d684941a2174b330d0e2a823d77c302dc08334a1 OneLineComment SeqSelectSeq CanNotBeCase
55d7989b16c886dfefec738d0487896194fe5ad2 OneLineComment SeqSubSeq CanNotBeCase
dbb506a2731c9de6de9b2f741f014a27d93a172f OneLineComment SeqSubSeq CanNotBeCase
7858e85f0171ec5069f03d3340777e152a513e55 OneLineComment NumRange CanNotBeCase
640914c5781e4988d16a5a95f8e8af0cd607c030 OneLineComment NumRange CanNotBeCase
2a772ab3db2f59f317b787fa4671112a910f251a OneLineComment TlcSingletonFun CanNotBeCase
b0e9fd07a6f8bbce1617ad0c02d6071cbb1d9260 OneLineComment TlcSingletonFun CanNotBeCase
9d184dd71cbed339121a55ccb43efdd6819adf50 OneLineComment TlcExtendFun CanNotBeCase
cf9215cec3b0081f0c767b6f5e39ada9fe4c1f15 OneLineComment TlcExtendFun CanNotBeCase
037be333534c66068f0f993447067745fa541094 OneLineComment TlcPermuteFun CanNotBeCase
c935b5792176ddb165277d59bfe8876746fcfaaf OneLineComment TlcPermuteFun CanNotBeCase
576fb3d05da0bf07108f37398813559773f56807 OneLineComment TlcSortSeq CanNotBeCase
a19a31592c32e23a50866a9fbc37bf69f7308e96 OneLineComment TlcSortSeq CanNotBeCase
027204fcca483e696c6c62c06f3bd49c66d68d40 OneLineComment TlcEval CanNotBeCase
5b3a03fdfe0c97540f34757e73cbaf94b3038ce5 OneLineComment TlcEval CanNotBeCase
dc4d54634f31e717d8f973828542df39acc78671 OneLineComment BagBagToSet CanNotBeCase
9197de09d0819144bb2e945380243a673ffeedad OneLineComment BagBagToSet CanNotBeCase
c4522dfed87b209409bd7725f1f3eb5317095c9e OneLineComment BagSetToBag CanNotBeCase
ccf5532625d485c7059a81e598da23e59f138926 OneLineComment BagSetToBag CanNotBeCase
b39c52898b2ddb3af87353b43670733973e3d498 OneLineComment BagBagIn CanNotBeCase
519b64643b8235d8ba841bfc9669f537bae3aed9 OneLineComment BagBagIn CanNotBeCase
aab93d496633a91d36a07c716bdac308ef570110 OneLineComment BagEmptyBag CanNotBeCase
9b28e218a8791898fe26219f8637b45c61b340d8 OneLineComment BagEmptyBag CanNotBeCase
790153cb2967f7a74d0a6646be900a031ed546d2 OneLineComment BagAddBag CanNotBeCase
fd771a54276b82c376f97d2e9aeaed3ef55f2c12 OneLineComment BagAddBag CanNotBeCase
c56dd7a43cc2fdec47d0cd111d5eda5d207d9451 OneLineComment BagBagSub CanNotBeCase
bbc65c68b1470d94bc782e26f433b23cf2628ddf OneLineComment BagBagSub CanNotBeCase
61eb6645e084bcbf3f82c156e0daf3147c8f9b05 OneLineComment BagCopiesIn CanNotBeCase
ec66218e7d8c06fbb87fb7dde9f08a7247d92366 OneLineComment BagCopiesIn CanNotBeCase
a1740df7967f54c5ef01b0f18ae2227a9a33f08e OneLineComment BagSubsetEqBag CanNotBeCase
a95a73b46cc60d45f77b1e5ca951289930ea31dd OneLineComment BagSubsetEqBag CanNotBeCase
7fa6d79db07317af0b2efbd27433711705cbfabc OneLineComment BagBagUnion CanNotBeCase
0d20a80fe6ce65e66939f023a79f7007a06fa658 OneLineComment BagBagUnion CanNotBeCase
ca3c2a31de5f1dc55a012aa4a1461e9bdc4d9585 OneLineComment BagBagCardinality CanNotBeCase
6085387875a437f02ddf1cfc731ee75fbb4c8689 OneLineComment BagBagCardinality CanNotBeCase
2ac7c96e6999d95d3826e7c6cf446507854aeb06 OneLineComment BagBagOfAll CanNotBeCase
491f2b3e6bc649810d18a258f7b5071e62386552 OneLineComment BagBagOfAll CanNotBeCase
102ca9e2c50b39cdb2932e8b74f37c07b7c32461 OneLineComment BagSubBag CanNotBeCase
e1d6024b14f1313ab3750663e97c92769f067903 OneLineComment BagSubBag CanNotBeCase
1bb6f163e7b1ac9511221902b66ad503d8255c35 OneLineComment FiniteSetsIsFiniteSet CanNotBeCase
c51c554f2b17ee5d59724d8e2628428ea27f1113 OneLineComment FiniteSetsIsFiniteSet CanNotBeCase
7261046f008d4ddfd19bfd2cb518b7447557467f OneLineComment FiniteSetsCardinality CanNotBeCase
42c1a04e59a717cd1259feb8a90ad0b99d996a24 OneLineComment FiniteSetsCardinality CanNotBeCase
15d6dcc9d3a22c1847174341b22eb17ee7ad1c21 OneLineComment SeqHead CanNotBeCase
5c8fa983e50bd653f28c2704c027323dc8c31902 OneLineComment SeqHead CanNotBeCase
5b104dfce8a10a7668f9ea07d818d9c2960c9f1d OneLineComment SeqTail CanNotBeCase
26a32cce48a35e1a6436e951d7595c4d0c44b750 OneLineComment SeqTail CanNotBeCase
96aee5eb4a0b84f2436ac344e3eae62e327279b4 OneLineComment SeqAppend CanNotBeCase
0bb253fc5bb87c14ea2cebba4dd0ad07767c50e8 OneLineComment SeqAppend CanNotBeCase