Index

Skipped feature combinations by plug feature SeqConcat

Id Case Feature Plug Feature Skip Reason
d271dbd61cfb66b23cff8ec58858b7691ee0df28 OneLineComment SeqConcat CanNotBeCase
e7895ec3e8b2295c080b3fc3626734f75d30ded1 OneLineComment SeqConcat CanNotBeCase
f792465d8447e8d88a965ea19d66ad92c789868e MultiLineComment SeqConcat CanNotBeCase
ba62d401d49b8797fb2b5270375359101c396ac8 MultiLineComment SeqConcat CanNotBeCase
972886962a5e7b1b86775cec94223c11f86cba24 BoolTrue SeqConcat TypeMismatch
c2fc5bed934ae91d75abf65ce0154d9472972856 BoolTrue SeqConcat TypeMismatch
9e712f83fd4d25966ff49e620eda7c6843288fa4 BoolFalse SeqConcat TypeMismatch
0ab02c7fa252e41d5397689948e5fd2ce9acf650 BoolFalse SeqConcat TypeMismatch
22039ba84ff1cbccdc1143289aa2e004f130403f BoolSet SeqConcat CanNotBeCase
72ae99faa6a7cbcd23ae06e5fba9e590dff29528 BoolSet SeqConcat CanNotBeCase
ba2e80a42b97786720cc580522d0365e9841548a And SeqConcat TypeMismatch
e88f71231b86f0b485575198e97f0e68edc56b79 And SeqConcat TypeMismatch
e442993d7fe0c48c1a86ec1700a0a33e405feeda AndMultiLine SeqConcat TypeMismatch
00a9a6db9592aefb8e83a57133294bf7ecfc4237 AndMultiLine SeqConcat TypeMismatch
85dd06a596006a3f67c55a81305417c64d7cc3f1 Imply SeqConcat TypeMismatch
163588f0c388442cda4f852b44c006021abc9158 Imply SeqConcat TypeMismatch
fdcfd2bd83ce361b7e0e4704a4e3be5df79ebe94 Not SeqConcat TypeMismatch
e72b0160377ba039245841a626060624b4b8fa77 Not SeqConcat TypeMismatch
7886b98aba18c332ef6fcccb44933ff6e9bae173 Or SeqConcat TypeMismatch
bda78b806f124048abc513d820bd4e19c45be5f3 Or SeqConcat TypeMismatch
762452568d0253321c8ddca75812aa952959471e OrMultiLine SeqConcat TypeMismatch
5f6cbac5138d054ac445df8dfb388c46f90620e9 OrMultiLine SeqConcat TypeMismatch
043e89e1f2585351ed9effade2782a820bc1e06b AndProp SeqConcat TypeMismatch
165aa13f04d9200263265563f0efe7bf35f105d5 AndProp SeqConcat TypeMismatch
278e9212b7531681412e128ed9545fe1b4019021 Boxed SeqConcat TypeMismatch
1b7565329dfa3093c87ec9d9bb7552f301e0de64 Boxed SeqConcat TypeMismatch
6a60eb849bdac03a11cdd34befdc0d9c48f20258 SetEmpty SeqConcat CanNotBeCase
a0120496cfc4081c0f00d1e3b12b51d50cfff26b SetEmpty SeqConcat CanNotBeCase
ef29ed3a669f7a51126ca081983b97b09ee5c103 Set1InDef SeqConcat TypeMismatch
c557f09e5274a3baeddc9c306f5a84fadfed47fd Set1InDef SeqConcat TypeMismatch
033ccc2822967c29dd94f51aa41eea8362e0c1fa Set2InDef SeqConcat TypeMismatch
d2546ee3ef123a4eef07ce2cafb839863281645b Set2InDef SeqConcat TypeMismatch
ca157ddeb098a7c41bd4f0b91992720911b080a9 InDef0 SeqConcat CanNotBeCase
945e42a4a3e9d93d7bbf895fb48774bae7646e5e InDef0 SeqConcat CanNotBeCase
daf2da94afce27a0aa96842bb804e0b1dda61d52 InDef1 SeqConcat CanNotBeCase
f3a75a1ad910621e42b99d2f01399202a14c9912 InDef1 SeqConcat CanNotBeCase
aeffcbe1b6a6f9f62fe857e54d5cf4f72d094b20 InDef2 SeqConcat CanNotBeCase
3d665b74bd8edafee8b9d55a08fa82179391dce5 InDef2 SeqConcat CanNotBeCase
c1f76ee65a8861caa426c603547232f5c01d87b7 FunInDef SeqConcat TypeMismatch
35711dc9483828d55d710f60415b023576829569 FunInDef SeqConcat TypeMismatch
882d9eb8f418d3ccd994dc230d7e58668b438ab8 Exists SeqConcat TypeMismatch
2f04ee6a658598fafd6b90ac7b1f58db19da1520 Exists SeqConcat TypeMismatch
b9f3841e158f246b8552164336b877c5906d7997 Forall SeqConcat TypeMismatch
72917ab3e5e474becc9a94d7d8299b4652bd8e0e Forall SeqConcat TypeMismatch
a172353659f450caa253afcdb2253504f72f2c2d ExistsInDef SeqConcat TypeMismatch
319b212dbd2453d602d1877b808d7aa130dcd5f8 ExistsInDef SeqConcat TypeMismatch
d176e2f6373595c3d20777f6f1894496c19a1d0e ForallInDef SeqConcat TypeMismatch
881aabe5a54dc516df1d5025f28b8602ebd498c3 ForallInDef SeqConcat TypeMismatch
f47159feaf6207038209100d5a9cbe2ddb21e2c7 Choose SeqConcat TypeMismatch
49511a580e2804397daacd28119631bc65748d5e Choose SeqConcat TypeMismatch
2c97dfe12a3e8f4bed226fe1525d7f25601db610 ChooseInDef SeqConcat TypeMismatch
c389ea225cdbf3d91312bf06bf1e438820471cdf ChooseInDef SeqConcat TypeMismatch
9cb529c7779dea662bf4cf3879aa02cd6a30c7fe TupleEmpty SeqConcat CanNotBeCase
23f107ad49b1b026217f9613800dce00bde4690f TupleEmpty SeqConcat CanNotBeCase
4071f1bae38456baa7627c909fc33a9f0a87b1bb Except2FunTuple SeqConcat TypeMismatch
07c89919f0b6f9d59b9d6a459661506aa90e8dbb Except2FunTuple SeqConcat TypeMismatch
123507d12ee87ffd265788789229353b34693491 NumZero SeqConcat TypeMismatch
89ff77443b2982630b0012d190164451ace3d666 NumZero SeqConcat TypeMismatch
644de2008cf01b14f091dbd88cf1c510fa7e5729 NumOne SeqConcat TypeMismatch
fd6a3588de3cfe241ff5feaaefdd01bb9d091857 NumOne SeqConcat TypeMismatch
8946f4a8656d9424c5e2809672d93036590142cd NumMaxInt SeqConcat TypeMismatch
7fa7838930c9b6ae85fc40c005d375d317426d3a NumMaxInt SeqConcat TypeMismatch
630065763f07aa07d2c2e100ee61131c1b3523df NumUnaryMinus SeqConcat TypeMismatch
d3841f1dc89c5bd0530f4053490ee0c55a82d6b5 NumUnaryMinus SeqConcat TypeMismatch
69cc108e4f7581e1ae4923974357955e0184f818 NumPlus SeqConcat TypeMismatch
64615221ccbf65c9ae1b4457a95422f551c554a4 NumPlus SeqConcat TypeMismatch
2c4e4d70606831305096b1947d96bd4f942f9e3a NumMinus SeqConcat TypeMismatch
8bd74f86a94c3718a87b58741b4645f69f64b766 NumMinus SeqConcat TypeMismatch
71b301140c78e79ea285b5ef0ffa77cd4779fe5b NumMul SeqConcat TypeMismatch
512564ac36b762ef539c953f1d20c33a117df5d1 NumMul SeqConcat TypeMismatch
1ad78f7f100c3dabba4c69c6923a938385826b76 NumDiv SeqConcat TypeMismatch
72d8951a5b762f4efbb79afa9379cb53a6f97f43 NumDiv SeqConcat TypeMismatch
0b6cf220102490cfdb189de05e37f3a638ddae47 NumMod SeqConcat TypeMismatch
9efd7792346c257891f7e05e4261e21f04a24920 NumMod SeqConcat TypeMismatch
952f6cff471bfbd941e5674fcaf9fe7af5b84ea5 NumPow SeqConcat TypeMismatch
965ddb0efd0466fe1b4402334e9fcbba51cd0a02 NumPow SeqConcat TypeMismatch
f3fe3d621dc0a8cdafbc41c92be502893764a76b NumGt SeqConcat TypeMismatch
ed0a8243984cca87b7ad3e0c136d82275c319142 NumGt SeqConcat TypeMismatch
6d5f3b21415b11b82ab74ab57f31c35071ca4165 NumGe SeqConcat TypeMismatch
9f94e7ba0affac2848394efbb442b1f27fb486c2 NumGe SeqConcat TypeMismatch
0b664720f5e82367f8d6a2d44e3246d9b3023a6f NumLt SeqConcat TypeMismatch
79016c35e42588da3df682f2c9f226a24c215b28 NumLt SeqConcat TypeMismatch
6bbc091d26b1a2fb98c6982cef80c010e9b02d38 NumLe SeqConcat TypeMismatch
f65365e3e0f9d29e23bc4b42446d4fc613464794 NumLe SeqConcat TypeMismatch
7df5f0db3a233beb0b43998f9dc4697cb59905e7 DefFunInDef SeqConcat TypeMismatch
d7c8adbd39222d4221be432f7440c994958b8594 DefFunInDef SeqConcat TypeMismatch
4060bdb367cb05d0c28203cffdb975a99d90fb04 LetDefFunInDef SeqConcat TypeMismatch
7dce9b94c40b9620ae9127e29db1c09e3b97d772 LetDefFunInDef SeqConcat TypeMismatch
345c38c0ba1fe0918b18b49af197ac6e34c5b20e ConstantModelValue SeqConcat CanNotBeCase
608f989ffbbe72257d5ce662467c430cdd74d0ce ConstantModelValue SeqConcat CanNotBeCase
8f68ef0bd86e920274f5f22a9c97a5fb2353749c Enabled SeqConcat TypeMismatch
59ffdfb906b48702129e56faa4520a5111b7d80b Enabled SeqConcat TypeMismatch
ca8fd26f09e43ba12ab4ae16c48b80d17f71f52f Assume SeqConcat TypeMismatch
405744c96a922bb5878bebe1c49dc2b6c9509f92 Assume SeqConcat TypeMismatch
70a34b9e21145dd5f69c55c73b97a5ecb0765207 AssumeNamed SeqConcat TypeMismatch
b3874117f16873edb0db81f2ab45c1721a203a7c AssumeNamed SeqConcat TypeMismatch
3eba269f11924add983af05f0107760b36ad7b41 Cross2 SeqConcat TypeMismatch
ff4e1853192e41126a11839c63a554a03c06c275 Cross2 SeqConcat TypeMismatch
1763aa9c322870ac19c7c68bc2c592f365fad4a1 Cross3 SeqConcat TypeMismatch
adb81f17ce73e5d2f1d8cb009420d4ca42cb9751 Cross3 SeqConcat TypeMismatch
d0be563f5c3c3c1013c76d60ea0bbefc5c93b9b2 FunSet SeqConcat TypeMismatch
81d3ab3fc5e2d9f64dcce0ac2c888b2d18900046 FunSet SeqConcat TypeMismatch
e6c7cb1ee751a9b66efa68bb691ed4c6c6f0bb94 RecordSet SeqConcat TypeMismatch
4031ec1924f9b12a28ffc08f9db1cea0fc43de6c RecordSet SeqConcat TypeMismatch
69e2b572a9196a3512b92c073b6e6ac0c28b0df0 SetDiff SeqConcat TypeMismatch
e803898030264289047e04aad39b8937b9186831 SetDiff SeqConcat TypeMismatch
6f12e7a2bdce2fa47d979dd2caed5990cdbc630e SetUnion SeqConcat TypeMismatch
0ffb61dec1564c103180bbb7842211dc91365364 SetUnion SeqConcat TypeMismatch
608a093db565210b32b7b1bc2cc7760a22c412e1 SetIntersect SeqConcat TypeMismatch
f27d9ec99c544a0de1476fc726d9772d726b0322 SetIntersect SeqConcat TypeMismatch
43151a085e9394f8486976a629200e3976585dee SubsetEq SeqConcat TypeMismatch
e99699e071ba7fe756db3ac6f67732b061f177ce SubsetEq SeqConcat TypeMismatch
0860f9ae8d81b6e75b33b374ab22fb38c6117876 IfCond SeqConcat TypeMismatch
2eb95bd557a4d3c140680f3af88116f83cd27188 IfCond SeqConcat TypeMismatch
ad4a513d7ffd5b2591e3cbaf5fe45535eccd1f0a Subset SeqConcat TypeMismatch
12c1bce09d47ae802ed6ff46614479724c4d1ae3 Subset SeqConcat TypeMismatch
8ebaaa62adeca322c686be0287dac9a9f8f9f847 Domain SeqConcat TypeMismatch
8b83bc7b91fda91651ef6556b62f3d97f87df26c Domain SeqConcat TypeMismatch
a9dcef73e8f524ad9faa267865c299bfb8c06fe5 Union SeqConcat TypeMismatch
a901545c2d2d9e4bdfe6c44f470293e11613258c Union SeqConcat TypeMismatch
07dd2d03fdf423fdeb01f98e520d1c7411b2444b Equivalence SeqConcat TypeMismatch
bbdfe5d9614bcebac73c7870109d7d001968fcd1 Equivalence SeqConcat TypeMismatch
0291050e77a465813004ab4cf1385d74a3a0d403 StringEmpty SeqConcat CanNotBeCase
f396715fbbb2c64a2c19f0b9153dc8710d3cbf94 StringEmpty SeqConcat CanNotBeCase
273931f295cae76a221c7a89c872b6e35e24ca7b String SeqConcat CanNotBeCase
5edbee73012e01438a6e69fd715cc86fc3b84645 String SeqConcat CanNotBeCase
a290444f8bcc9c42c20a776b04a47302dfc09818 SeqSeq SeqConcat TypeMismatch
ed22d3327c5c1003ea7bd5ce708d5e4a8caa8112 SeqSeq SeqConcat TypeMismatch
a12ee0366c6b0703dedb226e5c248ff2ab3a5ff2 NatSet SeqConcat CanNotBeCase
a8869c1e7318988aba6e3d8acc5300ab409396a1 NatSet SeqConcat CanNotBeCase
037384dcfb3519a6874011398f086b93c23c3f38 IntSet SeqConcat CanNotBeCase
7fc18c4410349be0decbe29067cedf66d95131e5 IntSet SeqConcat CanNotBeCase
45a03f5116bc388b51b3956605ffd05b1c901cc1 StringSet SeqConcat CanNotBeCase
47d5f838d9566b8188cd52b7a0d7bb541458a428 StringSet SeqConcat CanNotBeCase
f25f71475fe578d543f0f68d64129f2157062207 NumRange SeqConcat TypeMismatch
65345588d3f0573f318c2694285180a73c2328d9 NumRange SeqConcat TypeMismatch
7c29856537160ab145e043c4383c2f0ad51d3fac TlcExtendFun SeqConcat TypeMismatch
2d8c111de31f1a4853a67f4a33854b8ba94accda TlcExtendFun SeqConcat TypeMismatch
647daded7f95f950b31ddc5debf72214d27e764a TlcPermuteFun SeqConcat TypeMismatch
756de0840fd9ea23eb7f35974651844273a3a6b5 TlcPermuteFun SeqConcat TypeMismatch
75574f5d893924f3d1b6d4d02e3d440d259515b1 BagBagToSet SeqConcat TypeMismatch
8986bed5112f228f781507a8a1b4a86dc6fefbc4 BagBagToSet SeqConcat TypeMismatch
fd33863092484ce787f59b0b5b3cc4ae38d0e6d9 BagSetToBag SeqConcat TypeMismatch
3ebdaf95c162f94747efaf54edcef9f93e7724a0 BagSetToBag SeqConcat TypeMismatch
9697e06f1289a90e07599ecafa63f22cc76006e3 BagEmptyBag SeqConcat CanNotBeCase
25149dde1c2c2546de04c803415ff62540e1d70b BagEmptyBag SeqConcat CanNotBeCase
2d520b2874b4e6efdb4009190a4ee507056cc466 BagAddBag SeqConcat TypeMismatch
37009f7dcb60ae8ee466a71da18839b2601d8499 BagAddBag SeqConcat TypeMismatch
e17fb080d7767605226d8193949f59f4d10d4a2c BagBagSub SeqConcat TypeMismatch
901784d90375712d7de5344b7f584bc8883784ac BagBagSub SeqConcat TypeMismatch
2d368c9c8ee7ee64a37d6893d9df1556f7bd9677 BagSubsetEqBag SeqConcat TypeMismatch
192885f907001130731be0ad6aaa82114f6486c8 BagSubsetEqBag SeqConcat TypeMismatch
bc544c0504a451cb7b146be3d675a5838d2d6ab8 BagBagUnion SeqConcat TypeMismatch
7630238aa52787186584fd7596493784ab481c12 BagBagUnion SeqConcat TypeMismatch
eda060488c8c585014ee6f197c9e13742caf3c46 BagBagCardinality SeqConcat TypeMismatch
9451d6cbf6aabc1e37f730113819cb290753c251 BagBagCardinality SeqConcat TypeMismatch
0009eb2cd55e5adbccd96f7711f9293133def186 BagBagOfAll SeqConcat TypeMismatch
aef88d4dcbc922831a3d8b7b5dee052cd34b5fa2 BagBagOfAll SeqConcat TypeMismatch
69f67bbefa463f4b3569397309da33dfa5a327a8 BagSubBag SeqConcat TypeMismatch
a362cbae96dd2b287158abfe0a1a7b571828d61c BagSubBag SeqConcat TypeMismatch
1580855c7e272a8bd60ef5247c77b685a9d8b36e FiniteSetsIsFiniteSet SeqConcat TypeMismatch
6cf6c25a9f49702150637f63cd4602fc31ce9fe6 FiniteSetsIsFiniteSet SeqConcat TypeMismatch
aa86f3b5cff9678aa19ee338cb790de10c0176af FiniteSetsCardinality SeqConcat TypeMismatch
d3795df2415c60a745983431e885c39626837494 FiniteSetsCardinality SeqConcat TypeMismatch