Index

Skipped feature combinations by plug feature BoolTrue

Id Case Feature Plug Feature Skip Reason
532d6248a6b0c5629a1464d5f59bed1c3ad15c59 OneLineComment BoolTrue CanNotBeCase
f9461ebc50b571a7f81017343265f0d074171f10 OneLineComment BoolTrue CanNotBeCase
5355862e7bd7a0a629834827f20128c64c3eaabc MultiLineComment BoolTrue CanNotBeCase
a89853a9bf7ce61e1188f01d1f9c80c7c98dccc4 MultiLineComment BoolTrue CanNotBeCase
af6b5e5300d7c9b084190cb3985cfcea54734981 BoolTrue BoolTrue CanNotBeCase
47b9493639eccf24eafba4243c1b5ee9e82decf0 BoolTrue BoolTrue CanNotBeCase
a896d8761cc2311f03649767142635f70b59c934 BoolFalse BoolTrue CanNotBeCase
25fb865a42220f78f7f9f569176d34f07b635ed8 BoolFalse BoolTrue CanNotBeCase
90db36d707eef94e9c1082127266561b10a9604b BoolSet BoolTrue CanNotBeCase
54aabc73cb9af93e9d73df117e5397081c5a8c98 BoolSet BoolTrue CanNotBeCase
50be814035b37f7b851c0d84249477ac6b38c27e SetEmpty BoolTrue CanNotBeCase
a16bca324cc21ef7e9743a5abc6a929f06e114a5 SetEmpty BoolTrue CanNotBeCase
b8b76cfe1759f3dbe442b879b4c672a284ffe4ba Set1InDef BoolTrue TypeMismatch
7a62ca4b3fcbb0086f568c4b8ece08c78181b177 Set1InDef BoolTrue TypeMismatch
6390c0675dfedfaf64c7dc4f5e4e4e29e8a6b3f3 Set2InDef BoolTrue TypeMismatch
7eb1e0a7b52c26f6e2792b65fc0948446ca78e89 Set2InDef BoolTrue TypeMismatch
ec2950989f061fdcf18b6fe29684e63b6e971e66 InDef0 BoolTrue CanNotBeCase
d5aad10bec30951b0b604eefc39cefa22da42e5a InDef0 BoolTrue CanNotBeCase
55ff37039be0c626dc703be986a158563c2e80ff InDef1 BoolTrue CanNotBeCase
afcb17ae3392909a71ed067fba30c40dc6701848 InDef1 BoolTrue CanNotBeCase
97f8e7e2b0f7d6089e2b38dcb588b52a0561d011 InDef2 BoolTrue CanNotBeCase
4f742dd4e19a5121d04187d4dc7c9fe4c57aa8b4 InDef2 BoolTrue CanNotBeCase
b5d1f6c0ea305d0263f9bd0cba9f8e8cf41a95f8 FunInDef BoolTrue TypeMismatch
29bf998536e53dca1861f2e67c8f03e675183971 FunInDef BoolTrue TypeMismatch
2579c2848fb32faae4084e1d4c58d8a0275208b1 ExistsInDef BoolTrue TypeMismatch
0e60c274660f69a1ecc83b44fb84fbe6eefb0928 ExistsInDef BoolTrue TypeMismatch
f3befb4efc561ec092d7e783798a17c7a32f7fe1 ForallInDef BoolTrue TypeMismatch
e56b5b5b08fbdbfbd9063ee42580a8cf6b17ec2c ForallInDef BoolTrue TypeMismatch
093af7dfab4473230ee8c2d121ba762c37cff81f ChooseInDef BoolTrue TypeMismatch
8710cadd34f84a1384823a77481f7f736dace473 ChooseInDef BoolTrue TypeMismatch
78d4ff30b7d9fc2752565c843206abcb35a6bb1d TupleEmpty BoolTrue CanNotBeCase
6f13b8dc13d3c5ff6a0f62505e83889078c6b63c TupleEmpty BoolTrue CanNotBeCase
e0e3ba4011fd10bcad49a23736a7a8bb208953cf Except0 BoolTrue TypeMismatch
397643000d4ab73d2b7a3357294e82dc09b3f802 Except0 BoolTrue TypeMismatch
521c63b4c5ec591f77712040ad30a0af84b84100 Except2FunTuple BoolTrue TypeMismatch
c153082dfa81b4206693042364d73c619d601af8 Except2FunTuple BoolTrue TypeMismatch
6973d9720c466a0b8c6121a22ed6605639b24867 NumZero BoolTrue TypeMismatch
a76f54440a92499cdc4c4feef90cd27d97e53b6d NumZero BoolTrue TypeMismatch
ea3a05b47fc0c30e01b88fb47402965e9dd9ca4f NumOne BoolTrue TypeMismatch
0c8c2e9f5608c55d9cc9ea295f7b23b942306b73 NumOne BoolTrue TypeMismatch
2e70ec118a0fbf80ca87e20788497627d629792c NumMaxInt BoolTrue TypeMismatch
df0e1b48932650ac339aa80ac407efbe06e84fd5 NumMaxInt BoolTrue TypeMismatch
05877ea3fd4d2fd7dbcce279bc5885e642e4fd0c NumUnaryMinus BoolTrue TypeMismatch
4a7b2a02668ef9dc8bde98c818b3d507e51aed4e NumUnaryMinus BoolTrue TypeMismatch
9b981c2ce2f14fd71d8f5ccabbafbbc09cae76bd NumPlus BoolTrue TypeMismatch
781dd7e25500649126e21df9fcefe91539707f2e NumPlus BoolTrue TypeMismatch
5049b93e54168f25e4a5c117258c5dc669c18f6f NumMinus BoolTrue TypeMismatch
05d0400985c0f0491fab6a33a118def062ce033e NumMinus BoolTrue TypeMismatch
a779f68180480e5878eab4d62b2220f9a5174464 NumMul BoolTrue TypeMismatch
ac894bdb82cbdcfb0573fb36ba16386a83b4a55e NumMul BoolTrue TypeMismatch
1f4270f599ad728bddca61b4b9f3e348f8de84b8 NumDiv BoolTrue TypeMismatch
cd8ed0786aee173240e76abf40502937a081310f NumDiv BoolTrue TypeMismatch
fc004633ddbc83b3f4b8a51dd9486b01021fc9b1 NumMod BoolTrue TypeMismatch
da2dcdfba4fa4987245ebf5a758e8b469eee2e31 NumMod BoolTrue TypeMismatch
ecdb78043f531afd6e9a00a021df914a001d191f NumPow BoolTrue TypeMismatch
7fba8983c294a86952929e7ba20f55c19b6a6ddc NumPow BoolTrue TypeMismatch
992dc65c60b12907866e66a3baccb7db7fbd89c8 NumGt BoolTrue TypeMismatch
066e8eb01ad56cbf3b090953e233eec8cd4441be NumGt BoolTrue TypeMismatch
8d0b58c06856b768533a3468b38d0c7394b291f1 NumGe BoolTrue TypeMismatch
daba891544fe5f4322d2d9fdfff454c06a4a3404 NumGe BoolTrue TypeMismatch
147a81649ff652ee6cb963824cb3bbf5d96e086f NumLt BoolTrue TypeMismatch
cdcbf630d7ac6abbc90ba14465c342595735ab36 NumLt BoolTrue TypeMismatch
45d62aabb31484228c56cec1b15f00cce969ba38 NumLe BoolTrue TypeMismatch
0b18cf4de4c7b477412d3212d865c22c6a38ed00 NumLe BoolTrue TypeMismatch
2a174277bb4e14f556cd5d82f409a3bbb9aa3db4 DefFunInDef BoolTrue TypeMismatch
e7237773bdd5b8e7266afe25725f5af609ac5200 DefFunInDef BoolTrue TypeMismatch
1c285fa59ae6b4f68acab3421b89808207fe7114 LetDefFunInDef BoolTrue TypeMismatch
4afa4c50056a2253953cae763a2545eb2e28d649 LetDefFunInDef BoolTrue TypeMismatch
ae2c1e7f897d2cd9b66cadf04227bdfa8d48f819 ConstantModelValue BoolTrue CanNotBeCase
c262df011c8f7ef2d7d239f0857bfb3c7205cceb ConstantModelValue BoolTrue CanNotBeCase
dda8e97597b98bfc77f8e155c94137e13b717039 Cross2 BoolTrue TypeMismatch
f700d64b0ac4f611f8f125a641aee9a9025f2b97 Cross2 BoolTrue TypeMismatch
1967eb5ef1713d3c52d22ce47bf139e946700912 Cross3 BoolTrue TypeMismatch
de3c8c76788f749db6a9191b1357029be6bd8a23 Cross3 BoolTrue TypeMismatch
c95ed0dfbc3c23b761c79c3f73272d63d3d52989 FunSet BoolTrue TypeMismatch
5c34b7fb36c6d71b3be787d66404147cb1538fd7 FunSet BoolTrue TypeMismatch
498aefafbb404e509188d334da88f57308413f80 RecordSet BoolTrue TypeMismatch
0980bf020541401279727b5402851f3c985f5cf6 RecordSet BoolTrue TypeMismatch
8fb1a1bfad849e8c5348e552e6bbecf8229d6c40 SetDiff BoolTrue TypeMismatch
531cb107c9c8ec8a46441c763df7e16124aea786 SetDiff BoolTrue TypeMismatch
80e93f29d893c57106595fb2a2774e1516ad3a56 SetUnion BoolTrue TypeMismatch
2a7d89ea77892a1851b58e7502b7aaa55ddb95a1 SetUnion BoolTrue TypeMismatch
6fe5b629ecc8999920b8bb04c2579772e6286b5a SetIntersect BoolTrue TypeMismatch
62d5227d7cb365fb91675275349d40a6bd6f3d8f SetIntersect BoolTrue TypeMismatch
157fb1a24a24e33bd6dfc8933c31ad183ba1f75c SubsetEq BoolTrue TypeMismatch
9f7bc7bb228850a651a2499167f1cb4d0cfe3072 SubsetEq BoolTrue TypeMismatch
cc84ec896b7633dffeaf79f2bde66a2e3d2dbe7e Subset BoolTrue TypeMismatch
9554968af43f3be8efb950f4feeefc229ec0224a Subset BoolTrue TypeMismatch
e9c463f01f93d162fb02642964c1ccd9b08398c3 Domain BoolTrue TypeMismatch
b7302bf134a2c0d0796356e30837c3bcf655da1b Domain BoolTrue TypeMismatch
f39bf8df5f6945677912d5dc3bd679b199fcbb3d Union BoolTrue TypeMismatch
7472aa89f8de86853614e6048d93c7efbfa38aff Union BoolTrue TypeMismatch
108f34390c47a24d7ce5822ab257f2cc3d656b9f StringEmpty BoolTrue TypeMismatch
17f2c228260ce301317604d30d474b1e41dfadf5 StringEmpty BoolTrue TypeMismatch
7479eed0ca2e274cf059f31be810b69bbc6cfc37 String BoolTrue TypeMismatch
e31fe221a25a1d618ae8324a5d7a730fa2d9f04e String BoolTrue TypeMismatch
c98812ed35e93ce182f3243d96b3d875cd5974fd SeqLen BoolTrue TypeMismatch
a5d144ae18956a2687a714e2317c447b469225ed SeqLen BoolTrue TypeMismatch
ad158b179c5dd95a3ead40103a3604dd995d2451 SeqConcat BoolTrue TypeMismatch
d294db6c052760e6c7ab823436db273dcc8cf45c SeqConcat BoolTrue TypeMismatch
f8e4b7b3a3559ab3ea05739e025baf54f526687f SeqSeq BoolTrue TypeMismatch
bad66a6438d4badb4d57f2fd53cda27105d4e277 SeqSeq BoolTrue TypeMismatch
8e15e4d59a69ea89d61cdaedcd6ea891a9315f9c NatSet BoolTrue CanNotBeCase
42c38c1159a37f7ab824e62a380ddf2882f4735d NatSet BoolTrue CanNotBeCase
b2546684743fc803ec243a5c5940c283821a43df IntSet BoolTrue CanNotBeCase
2fd8575d44b03837321a685becab3985434adbca IntSet BoolTrue CanNotBeCase
92e24ea45d40fe5d58d3fbd249b541defe007719 StringSet BoolTrue CanNotBeCase
88a7bd67aad314599eb9fb8ab006e916620f0a1a StringSet BoolTrue CanNotBeCase
7543cc58965435036e305e1d775a81fb0ce0d533 SeqSelectSeq BoolTrue TypeMismatch
59aaecef333d42131c495d9c63eb9d249bbb8556 SeqSelectSeq BoolTrue TypeMismatch
54e1bbc81cc9d0ccc5fb29595102a2431ef2e4c2 SeqSubSeq BoolTrue TypeMismatch
ef79d795752b035b9df414442adc25a4e6a5c1d0 SeqSubSeq BoolTrue TypeMismatch
d214ead697198b6e2bd61ca8e44ac4f1c97a13b7 NumRange BoolTrue TypeMismatch
66e07297ffdd8bd86efe2a2d2bf0bb7dfd04c501 NumRange BoolTrue TypeMismatch
e76e862ee3fa02c020843884dcca2e30e8459f72 TlcExtendFun BoolTrue TypeMismatch
6754ab016d778f7c20a6d663e8a4cac7e143b996 TlcExtendFun BoolTrue TypeMismatch
b73a62e77aef2cfa66cf7a0bb2f37b09525ee9a8 TlcPermuteFun BoolTrue TypeMismatch
ca805d19a8ad6e284b8e9acae7a1f14aab30cc0f TlcPermuteFun BoolTrue TypeMismatch
ef882dfcc129a60ff670695e4b77aece0cc91484 TlcSortSeq BoolTrue TypeMismatch
6995512077f5b6971f1501962c95c14762fccc17 TlcSortSeq BoolTrue TypeMismatch
998f2f634d08187195231ad47027aa97997a95c0 BagBagToSet BoolTrue TypeMismatch
f765b8349d5abff3c541a12f2a95fc17864757c1 BagBagToSet BoolTrue TypeMismatch
39f184c7378fedf3b2ea17d9b472f8b259778b54 BagSetToBag BoolTrue TypeMismatch
e9f6871557e07320a42ca19f686516613428ef41 BagSetToBag BoolTrue TypeMismatch
6f5e7c1379b6b42d2bb526fcb3c01d4de3400693 BagEmptyBag BoolTrue CanNotBeCase
cea260118ffc2b8b0fac63fb18031393ef0e01b9 BagEmptyBag BoolTrue CanNotBeCase
0d6994f1b57108ff03d73bd480808730e4db9281 BagAddBag BoolTrue TypeMismatch
72315cfee0cccc5d87a2315fcde13bae33e3de4c BagAddBag BoolTrue TypeMismatch
13fd06e2833d3f33aef9fb792c151289b2223823 BagBagSub BoolTrue TypeMismatch
d9343735ad523b5cb06e56e1db63abc03eea77fd BagBagSub BoolTrue TypeMismatch
7482e08901d1c8878a381fe16e2f73ecdef9fc01 BagSubsetEqBag BoolTrue TypeMismatch
4281efa44acd8e610cadb488b61b34e7394482ac BagSubsetEqBag BoolTrue TypeMismatch
4a9b9348121fcaa63ca921c3d453fdda757980c4 BagBagUnion BoolTrue TypeMismatch
05cb9d556e15879e4a33e30ed8ee93278101bd18 BagBagUnion BoolTrue TypeMismatch
445068e2479304692656b4c148419c237e290a18 BagBagCardinality BoolTrue TypeMismatch
1e8586c3637a2eedb3b3285bdd80a60e4b0be590 BagBagCardinality BoolTrue TypeMismatch
2c80f28c897457942b443388c8f3d43a658657ba BagBagOfAll BoolTrue TypeMismatch
cbf2e187879ee4c9d35d153f58ad25590a13f6ee BagBagOfAll BoolTrue TypeMismatch
0216d4207cecbc9d49cf681405a2361d9dca0a04 BagSubBag BoolTrue TypeMismatch
fc124dbc266d76822fa00d58c1ae7dbee157db82 BagSubBag BoolTrue TypeMismatch
5073c9ce2c5c1fe230e03b310642ed822f722760 FiniteSetsIsFiniteSet BoolTrue TypeMismatch
130a4d68d0590c2f236aaf8888469f4db4d054c7 FiniteSetsIsFiniteSet BoolTrue TypeMismatch
808db406e083eeb35edd581adddc3b1ffb72e754 FiniteSetsCardinality BoolTrue TypeMismatch
cccfa9b83829403b35d63929b12b84e74aedf518 FiniteSetsCardinality BoolTrue TypeMismatch
cc2753b082df09e2d3afb3834a76c619e770876c SeqHead BoolTrue TypeMismatch
f7d8b8e7353cf32117d7fcff352336f269841f07 SeqHead BoolTrue TypeMismatch
d8e0dadfaabf8de5dcb0f9e14cbeb2445e91cfda SeqTail BoolTrue TypeMismatch
0d02a7ede45792e9e033882df1832824c0d279bb SeqTail BoolTrue TypeMismatch