Index

Skipped feature combinations by plug feature String

Id Case Feature Plug Feature Skip Reason
6b41382b02318a4376904cdd256cfaa4fc60bf67 OneLineComment String CanNotBeCase
b0f941299c19ca7067914b40ab71675da184d0cd OneLineComment String CanNotBeCase
1cc53d96158004b5b55bda9ec16013e6c86c7399 MultiLineComment String CanNotBeCase
f992023c099b4eb51036cd56de4aaf41b24d55b5 MultiLineComment String CanNotBeCase
ac5de0e3bca49e365e543d6601f60bf36d09fb77 BoolTrue String TypeMismatch
c140a92aed23b3e2783a0568f4617cf940b68348 BoolTrue String TypeMismatch
cf3cb111813ddf88ce3ed4f8dab490146c25441b BoolFalse String TypeMismatch
97446b505ac6d706edc41c8d7a48b973676040df BoolFalse String TypeMismatch
24614b7024f34e7d720e6c07ce4fc493e078bb38 BoolSet String CanNotBeCase
ce467ee4e6ab940fed2862d886ad912526528748 BoolSet String CanNotBeCase
597192b78e3ccda4870265056f95dd42d2b57492 And String TypeMismatch
9c9c4067eae7038f2536465a3543912b385642a4 And String TypeMismatch
1e35fb07b4a37b41377c7abb33d6ce72dfb21e84 AndMultiLine String TypeMismatch
58afeab1e5828b608208dfe9e6aaee7d71173002 AndMultiLine String TypeMismatch
601bcf701741b330aefc5943b1f24553575549ca Imply String TypeMismatch
0350d661f296ed66160f6df9c01ff4340cd8b4f2 Imply String TypeMismatch
ebeecb49b640a4adb658499387dcc8fc93d3923a Not String TypeMismatch
e13b69879969997aaf792a821671cad466f8d356 Not String TypeMismatch
7ef994e4548fd0bd27b919f486eb5130723b12f2 Or String TypeMismatch
b068c2f6830bddf251880fce9f961a07dfc4760a Or String TypeMismatch
6d43e2d86d071dd9483bfa78d57a9763988da072 OrMultiLine String TypeMismatch
74d7e901d94c9cb60f70571128faf29e60a1bbc5 OrMultiLine String TypeMismatch
59a45a8e62afd1ed4657b50d030e3d65fd73890e AndProp String TypeMismatch
b60d61ea6f9d0e13c4d1f653ceceaf4aaa4fc9be AndProp String TypeMismatch
4adff5358bd8c01e2e45cd220d65b874d0ade0f9 Boxed String TypeMismatch
c85c7695d5f7be5acd07c5519129434ac2857259 Boxed String TypeMismatch
b33eb4d623aebff09fe6072799d17f63b693fcb9 SetEmpty String CanNotBeCase
d2f6c5b31db54cbc36d62b19d48684cff3ebf5fd SetEmpty String CanNotBeCase
4e66aa7bf9f0a1e82f0164f385dd63f3283c876e Set1InDef String TypeMismatch
00e5be4250fbf82411a9952c57e4ed9492ab7910 Set1InDef String TypeMismatch
0bdc9cf2b2ef18e9ab60d474ad22eca60b82b4fe Set2InDef String TypeMismatch
0d4d69eb0e0ccfca607ec490f839cac48138f93c Set2InDef String TypeMismatch
0af3fb24386e7cee6a0aa36576d5a37c99578513 InDef0 String CanNotBeCase
e09b05a0990bf49e0a8422e11bd51e13a7bcac00 InDef0 String CanNotBeCase
2bf0fd9d6d5dbee034271283edc4282cc6c8becd InDef1 String CanNotBeCase
68b6755f0a5ae17195debebd4149f45b21722a7f InDef1 String CanNotBeCase
991e6fc34b468aa15796c7e1fabf06d6d9763bf2 InDef2 String CanNotBeCase
9e1beb28c58da7bc727b3d8ac00407f5d513317f InDef2 String CanNotBeCase
951318519d1971c6781932bbd4e2029d55837c18 FunInDef String TypeMismatch
58eca4efc3bca7b1fd4b2c56c42241905c97cb17 FunInDef String TypeMismatch
a0a305e75e5bbb146e24a40a3308dc1dc3f75546 Exists String TypeMismatch
675328a89dd23115e575bf73be6099f3ceb9d623 Exists String TypeMismatch
a7ab6a87b9c1353d1c5b30b2fed90fe878bd4978 Forall String TypeMismatch
564e62fc3d71d13208946060c156c963b872e6d5 Forall String TypeMismatch
19b228bf6d8143b1eb689cd37506544faac7dbbf ExistsInDef String TypeMismatch
f4a85e8ba4d7857b7bfdfbd578673e70d7e2ed30 ExistsInDef String TypeMismatch
c5ef7c265b9f8c696dd912211536e965bae4e1f5 ForallInDef String TypeMismatch
01a481be97e7ed65bae40849dfe7fb8056a181f2 ForallInDef String TypeMismatch
7537aa90028a0e361afa504231e1e243b0c582f8 Choose String TypeMismatch
3fda8edc15a702e9607291210d298f1d075a81e0 Choose String TypeMismatch
50c9ff61c56b752a3a171d86a89f6bc7363c9e2a ChooseInDef String TypeMismatch
614b61023bbc672e1c28c4646a7eedc5a237c966 ChooseInDef String TypeMismatch
4df37c4ddeb18e2186897ee0c4379bc58f5d1f1f TupleEmpty String CanNotBeCase
897a73e7da6712b15bbf698588d253d0be4af796 TupleEmpty String CanNotBeCase
fdca26321beca7b6b0109f3ce9f3b4ca305dd825 Except0 String TypeMismatch
4d470ab7c5a288a3ac1bd5c59425aa38bd9a782d Except0 String TypeMismatch
c7e113ce441b9f95a827d018354d7a7304bfaf00 Except2FunTuple String TypeMismatch
ca585ae29f6e644a551711418c9abd8811cddc18 Except2FunTuple String TypeMismatch
ee3ba331384309ae1be0dba69fc356cd241e6031 NumZero String TypeMismatch
7909f6d43615181d219f9ac15a0371bae5a62c1e NumZero String TypeMismatch
4cfc74f4737906c8c1ea9cd7c2525c21e9bf62e4 NumOne String TypeMismatch
4ec6f6bccd00e27f9a82b11290af2559bce13217 NumOne String TypeMismatch
adb357a4fed8dc0ae189578885b272c2ecea6cbb NumMaxInt String TypeMismatch
cc34bccb47878143d0d0fe35694101f8fe8665f4 NumMaxInt String TypeMismatch
d9c9111ac4594cbe744f3b4db8d6b6fc921b5c7b NumUnaryMinus String TypeMismatch
ba886b66403e84344d6a1e136911da8ce8834a52 NumUnaryMinus String TypeMismatch
fa6006d6f448aa2669e269824ffadc1055bc3df2 NumPlus String TypeMismatch
85bbeecba66d5cc07a686574b82e0d588671bfab NumPlus String TypeMismatch
d53cc154601179d0a35a6646d5b1b032292bca64 NumMinus String TypeMismatch
8f0f9e41937504e47f2b4cd5aa0268f653e86b12 NumMinus String TypeMismatch
3912fbe1bab7ed617e4b43688524e05a73579d09 NumMul String TypeMismatch
2858d5062db7ef1d92dadd55e13b5bc8c6f9ba89 NumMul String TypeMismatch
2ec600e9ba96114bd3697f4166ea79797208466f NumDiv String TypeMismatch
aeda5c3f46572f6ce109ebe44ad7ff8f4a65cadc NumDiv String TypeMismatch
1a9a3f48a9d35c217c4f6f856a5e4bf08d1801ed NumMod String TypeMismatch
ad62c8377e255376de241c87ff227c566473e309 NumMod String TypeMismatch
3edc545c629f5758a50236b579e1a06be38bf771 NumPow String TypeMismatch
49bdc56f2ee8febab51403b71ede5e83f9287df4 NumPow String TypeMismatch
896e8d72c677fc93f428e4f0e67e45f5bbe2fc8a NumGt String TypeMismatch
61ee4e736c993f3c7781a5ef4a19ae736039fb71 NumGt String TypeMismatch
e16877e7ec746c0ae13fdba9b92a49e930928d7b NumGe String TypeMismatch
5404e6fcf76422515a4ac3f78af88e7342db6575 NumGe String TypeMismatch
ddf7f32f5d625a5a9947d604ec9997db203b288c NumLt String TypeMismatch
b797ef1089f607cef59ea3a6f252fdd7b7865440 NumLt String TypeMismatch
3206ae7cabf27a3044f38f58cfb6b9a820a79a72 NumLe String TypeMismatch
129cc05396a7c397718c91c403b6fab4d0713d36 NumLe String TypeMismatch
32aa5cbef9d68623f7d690d0d340ee10887b0664 DefFunInDef String TypeMismatch
7755b52c2c6925c02094aef06b6656f6a7eec14a DefFunInDef String TypeMismatch
48d36faad6b35827151ffe6ba11cbdf2eaaee93c LetDefFunInDef String TypeMismatch
813ed6eea725e68d77c8515cc2d2f6ccdb21f568 LetDefFunInDef String TypeMismatch
5622837528e8eb681264c72db1c8836687e87c5e ConstantModelValue String CanNotBeCase
e7f8276df2db57eac5eb6f5a4673ca703ad5ad69 ConstantModelValue String CanNotBeCase
de0602c4618b3974b426f594f85afb696ca0d3c8 Enabled String TypeMismatch
a4bffe4472bbbaf1d584c8c99c1ebf7a5c40b68f Enabled String TypeMismatch
636a14f45d45c48b6421dc6ed0c2b4baa549aa47 Assume String TypeMismatch
c52663605124937b51eb80526b0ed5e3995db8bd Assume String TypeMismatch
ef7b9d49814eb6e37c37127abe9d18680f198fa1 AssumeNamed String TypeMismatch
e065fee8b4ce72c96c9444cdd028c85cccfe5722 AssumeNamed String TypeMismatch
2db5c11c361b6f152b7843bfe3f5b04affdb21ae Cross2 String TypeMismatch
73fe9643a36d42077115ca05a7b6e14a094689b8 Cross2 String TypeMismatch
22cb0a0eb517db20bcf4614b5975fa93005b5ac1 Cross3 String TypeMismatch
068f66e032eed92e1a93d89a3791f1a43621f01b Cross3 String TypeMismatch
d096a5b8c01316381629697af350052bc0ee7b74 FunSet String TypeMismatch
46362ddb181fdb4ce7f9383a1eb138237d58ab1a FunSet String TypeMismatch
6eb8470b814625e0543d98f43f44e044f37fd23d RecordSet String TypeMismatch
d649f0369dbb0fa5209106599faa979bc6a0987c RecordSet String TypeMismatch
11e533ceb056ca2e79c8ec4daf8b077d3c43bc19 SetDiff String TypeMismatch
248af1c23fdaf3878cb9a26b46a7a570fd32b86c SetDiff String TypeMismatch
ebfd1e50e21162d99c41c7c371c894693d73c221 SetUnion String TypeMismatch
eda1120239439d06a7e6846f1e7871ad382be631 SetUnion String TypeMismatch
f561b9b8201ac2eacfc88ef08813e936d5307c6b SetIntersect String TypeMismatch
96cd621a5e080b12a4f6b3e9aa604b8806b2cb5a SetIntersect String TypeMismatch
d22d80ca45e98e09bbf15e51080655c61a3817bb SubsetEq String TypeMismatch
7ac17bb65b318af07e757bae7d5f4aee3ecf0d59 SubsetEq String TypeMismatch
3f454631d0724cd87256577d507c2fd499b7e388 IfCond String TypeMismatch
c4495d2fddc65c0a4aa7096d034fb998ecad45e1 IfCond String TypeMismatch
3bdadeff7cc7f8fb5c2970ee461a9545c069f8ef Subset String TypeMismatch
76daa41fc1f681a33338d5623571fdc568909df7 Subset String TypeMismatch
550d13dbe518b7c3b487ff3c571d66c11a21a1fa Domain String TypeMismatch
c1b465115bbae264e82b7baf361158fd975fb79a Domain String TypeMismatch
7c6f2d4646482ca9edc9ea92e981249f92165271 Union String TypeMismatch
b4857311b8192f31e440b6a7488116da66d4587e Union String TypeMismatch
a0e5e74171d79a35d8de57b6ee151f5f7cc5c411 Equivalence String TypeMismatch
93b4481da166c7e19e0397a886970cad4b5765c5 Equivalence String TypeMismatch
6b738543592949ecd497661ce498ff403cdf4e7d StringEmpty String CanNotBeCase
461e79889bbfa6fb92910d2d3cec900d7b5025b5 StringEmpty String CanNotBeCase
8683dd8bea0bfa62d59c931b89e1a3eee481041b String String CanNotBeCase
ffaa8595a5dc6970d75237ea1b0b4e9b15f661ed String String CanNotBeCase
e699f6cd7244c35e5897298241abd9c011693cb8 SeqSeq String TypeMismatch
a01935fae984faf136f8ceaed62e990438b85efc SeqSeq String TypeMismatch
f45bd118d9565d88439247c733fb85bc025ab976 NatSet String CanNotBeCase
ba24d29087d640e5e8c3db97aea509fc5ba6a9dd NatSet String CanNotBeCase
c7b7708290d9394d0d3d744a162ae2453564e9e4 IntSet String CanNotBeCase
4215d155e1c0e6f3046dad969f1e6342a37f5c3d IntSet String CanNotBeCase
e19226abb1e41a29ec6a967ab5d9d5c1bfade8b9 StringSet String CanNotBeCase
f4a39d2d0d16a5b35fd033753d24b513ed648b13 StringSet String CanNotBeCase
fd63bcdb6209a289701b708e90af3cec8fbf81e4 SeqSelectSeq String TypeMismatch
6eeaf1b3c7c4abed996a4bd6671c55b5a1ad6d56 SeqSelectSeq String TypeMismatch
83e792ea4a49c606ee96dde43d66a8b9648c274b SeqSubSeq String TypeMismatch
9137396a7e5271d12e45abddf3430258fe4fb371 SeqSubSeq String TypeMismatch
a2291b61403db65b386b7aea43f1ade0c003372d NumRange String TypeMismatch
bc76f73ac8ddc7e532bffb58f5397a68eeb0e3bf NumRange String TypeMismatch
394f6c5c515daee2f56fe1bd0b5aa3f398fa893e TlcExtendFun String TypeMismatch
dc7d8a84c896e8944d66249bf9119973b5207c3b TlcExtendFun String TypeMismatch
f68fa965abae9a086ca4046b94c752e46e989dc7 TlcPermuteFun String TypeMismatch
f0c179d71ae31911154294a6c44824a10479b26b TlcPermuteFun String TypeMismatch
dbe8de396fda873b5da4fe98ee6da2c44fd5dddf TlcSortSeq String TypeMismatch
f439f41211a894fabd626872ca9051c86af1e747 TlcSortSeq String TypeMismatch
131c2530b40ab0b6935f316dcb5488f8d60551fe BagBagToSet String TypeMismatch
3b45c7a0838da38ea350f891dd59c5586d596ed5 BagBagToSet String TypeMismatch
d5b0bc64896274e7305063cc571a00a56ad499e6 BagSetToBag String TypeMismatch
32a9310f7893936eb201c311b0333d32d05514ff BagSetToBag String TypeMismatch
bb249859dcb44776ef12512e170370f6ca7a08d9 BagEmptyBag String CanNotBeCase
c1214f05c51e7b41a29f3f748b08272a87ed11a1 BagEmptyBag String CanNotBeCase
3e2ee08014693280a17d89cfeea53ef3ff8f1a00 BagAddBag String TypeMismatch
b1b3bca797bfa89516f259ac7a0ff1f8e69ace23 BagAddBag String TypeMismatch
301cb632e4673cf639e2bd5cafadc993fba155a8 BagBagSub String TypeMismatch
d24f3c9efc99632a407571837cc4f30a345aa8f4 BagBagSub String TypeMismatch
971b246f2f5c74c3ce18838cddfe1e6d7af8d035 BagSubsetEqBag String TypeMismatch
c8fe39777b847182ff43df6787de174769932f03 BagSubsetEqBag String TypeMismatch
840d476e6b0830d6fe4fe296b8193935e4a400a0 BagBagUnion String TypeMismatch
97f509ea47e8129aa2ae5c4981f5e2afe94164b3 BagBagUnion String TypeMismatch
20f286e0b47547613d13eb6fabd15749c2953723 BagBagCardinality String TypeMismatch
339b2025bdf2fd6b6034ce74e98b19c3ec73901d BagBagCardinality String TypeMismatch
2c723cd203c144fc71cbc42758e9e1604b52ccbc BagBagOfAll String TypeMismatch
63fe31669723ad4b738fc0f5517c37b9c31bd705 BagBagOfAll String TypeMismatch
a46f687cd82015b10d296291d8ec3da6e9f1dab1 BagSubBag String TypeMismatch
8679882dd2f0c92beaedd59a9783953fad83a851 BagSubBag String TypeMismatch
74079609671433ddcc3f0e0a0dac77ad960a6fe2 FiniteSetsIsFiniteSet String TypeMismatch
4f549dc73efa30ed9866276e57aee09757fbfd8d FiniteSetsIsFiniteSet String TypeMismatch
2983782557860b9c460173e8eae530ab425e8532 FiniteSetsCardinality String TypeMismatch
1ca5d5bf8a8f56a061a4f17bc8ed16ee718483c1 FiniteSetsCardinality String TypeMismatch
97a344b50bd05355dd80d1e5267de1565c15065d SeqHead String TypeMismatch
da42fe9ab06ed85a0cdeed039cd734f9844cfeda SeqHead String TypeMismatch
1e14c0e9f37921308dedec67bd9415753947a4cf SeqTail String TypeMismatch
ea0e81f10acdfcf6c88242753b97e11c88a91938 SeqTail String TypeMismatch