Index

Skipped feature combinations by plug feature Cross2

Id Case Feature Plug Feature Skip Reason
89c70d0607e939e53c284df7c99b320b724ed3ab OneLineComment Cross2 CanNotBeCase
0dd8e123b99cbd74540401b0b677518787560b3c OneLineComment Cross2 CanNotBeCase
4623ce61523fe8ab8f6880742b8efc06c6369c56 MultiLineComment Cross2 CanNotBeCase
ad8a993c85190b65fd5519b698d7419754a5b074 MultiLineComment Cross2 CanNotBeCase
dce0eac5030ed374ad52a742a28766e74e810e1b BoolTrue Cross2 TypeMismatch
1a1dfe24b21e2ed1fb9efee8f42330b75ea3f046 BoolTrue Cross2 TypeMismatch
ec1c74a70209c866543f03156e1c7e4f451f35ba BoolFalse Cross2 TypeMismatch
867cc115c52a36806dd013f53e885130e235c168 BoolFalse Cross2 TypeMismatch
40398a0ea569204561283a228829349534002076 BoolSet Cross2 CanNotBeCase
c95946698389db09d73fcfcb381d440f32ecd13b BoolSet Cross2 CanNotBeCase
bdfc6e61c056a80a17d96bb8bedab6f7bc75b03f And Cross2 TypeMismatch
b78d0ec3e7f8d20e52900330bef35b8c7ebfdd7a And Cross2 TypeMismatch
93ca3cf72c360f2f6a8d86c33e36048d9318c7b1 AndMultiLine Cross2 TypeMismatch
52109f903815e9a8ded7c4b660b0caf11447f102 AndMultiLine Cross2 TypeMismatch
ffccaefa1119bd10614dadf97392115e8d51dea1 Imply Cross2 TypeMismatch
6ac1a9560abcab8cddf22c8996df0b0f121d0d6d Imply Cross2 TypeMismatch
8fa62cb7c15559d08446d0485db5d82116c53555 Not Cross2 TypeMismatch
8e8ab5b440388a442cd659d5791fdc75ac73e92c Not Cross2 TypeMismatch
a70c3d8174cc9036bdac316f4dc048c48a7e074b Or Cross2 TypeMismatch
c8be35b7fc6b00a23f9b0f6d89122beb285a5176 Or Cross2 TypeMismatch
b9a4cbbd0ce81ee4d0eaa70689341d8676bffb3f OrMultiLine Cross2 TypeMismatch
738049e34deb4d527e1e20eca6dfc7e3e7c8bddf OrMultiLine Cross2 TypeMismatch
dbba4723980efb1a529385b4dca344c8e439c133 AndProp Cross2 TypeMismatch
b7c8a24023981ac295ffcc6528e754cab1931aea AndProp Cross2 TypeMismatch
e0690918c591bd14a7c8d717a0c176dfbb783e50 Boxed Cross2 TypeMismatch
56a578f178b87dd2332e06cac35b48d97380133f Boxed Cross2 TypeMismatch
e4f62d5f9d62af642ba3296a3e6e5e6f15aab64d SetEmpty Cross2 CanNotBeCase
704cdf49ee60adaa975ae557aa97e11d0d09b3dd SetEmpty Cross2 CanNotBeCase
3dd071bab7d9fa0b334718418b6ac947c484c4d2 Set1InDef Cross2 TypeMismatch
aab34d5c502fa5c96984d42a3de7f74e34310f5e Set1InDef Cross2 TypeMismatch
1649b6f8a0b2745b0a9bfe6dfb6995bdb06750c0 Set2InDef Cross2 TypeMismatch
44304542c7c7dca59ee12dc8eeea76a7b57e3aad Set2InDef Cross2 TypeMismatch
d72f1883d1a8c76cad8d3881cedc8125fbbd7d1e InDef0 Cross2 CanNotBeCase
701d9b53be13961507358038aaeb625e23c4bdc7 InDef0 Cross2 CanNotBeCase
e47b74ceaae3fab357541d48b0b7318bd592daf1 InDef1 Cross2 CanNotBeCase
80ba7066e897d4c528b9ce3435e710a8884442e9 InDef1 Cross2 CanNotBeCase
e647c37b6f8546d98604feb455a2405b1e6c1ca5 InDef2 Cross2 CanNotBeCase
5aa909fb5d4795bca78a655afbda6566d3a6728c InDef2 Cross2 CanNotBeCase
91272140a1d73a5ef62c5abbdbff53ea81e543e4 FunInDef Cross2 TypeMismatch
477ae80cbe631606ee8d09971fbc79db81257a35 FunInDef Cross2 TypeMismatch
6d6013fea9936f53288989e60a3b4356fc9e15c8 Exists Cross2 TypeMismatch
d3e1cdfeddb7633a010e641c30025745bd4bcde2 Exists Cross2 TypeMismatch
0a829e8afaf7f3e20bbe3c265aabad11b45e3df2 Forall Cross2 TypeMismatch
52c1e9d83656f2f0119f742a4b563871617b6d68 Forall Cross2 TypeMismatch
ab6cd4c180ab6dd00db7082905b7ec898b86583f ExistsInDef Cross2 TypeMismatch
49925e306d675367c22f61c98c9574947624142a ExistsInDef Cross2 TypeMismatch
5b8e7b8aa4788016c17cb771a8cc2862a42e1d0b ForallInDef Cross2 TypeMismatch
29de31b8224702420dcdb64ac3514496d868ff5a ForallInDef Cross2 TypeMismatch
88bf372b498bb52be7d3d0bc64b43e1de23da162 Choose Cross2 TypeMismatch
6f6562c6c839abbe9f5ef6314bf6f7f7380f4dc1 Choose Cross2 TypeMismatch
f9d7a18c3d89b6ed3da112cd5b3d2e1162c77099 ChooseInDef Cross2 TypeMismatch
98f9576677769f5a7ce72732ba2907b61c7d7b00 ChooseInDef Cross2 TypeMismatch
87d4a3ef74cfff1e3d11e383d8d096729e11a59b TupleEmpty Cross2 CanNotBeCase
a5708c5f98a67943d3705755ee3d599b037091c9 TupleEmpty Cross2 CanNotBeCase
3cb9e89d2ad0bbc437e42c9707c5b31b2e20060e Except0 Cross2 TypeMismatch
6ee70f92a7ba19e41b0dab47230374f50dcc8f94 Except0 Cross2 TypeMismatch
c2af4db919fc2f2eb55f972498afc1f3a8a382f3 Except2FunTuple Cross2 TypeMismatch
b8999e3098bbedbb3cde76ff65884547b2522387 Except2FunTuple Cross2 TypeMismatch
439cf80618d330da50515b914394c2d8af11ba45 NumZero Cross2 TypeMismatch
c353d3a651d3c91a5154c92086ec2fa701dc63df NumZero Cross2 TypeMismatch
99537fd2bd5fb43ba646581936fb09da7e981edf NumOne Cross2 TypeMismatch
eef0a1c7cf923d724738440fc5d0c2b6ed28cbdc NumOne Cross2 TypeMismatch
a5c62e9e7e1899b4605cb8d4641a07f0b9e53f28 NumMaxInt Cross2 TypeMismatch
e83dbadd739f61cedc0decc7dcbba998b80d2fca NumMaxInt Cross2 TypeMismatch
2dcc5ed7d406dc203783a61ca5c14e19429a520e NumUnaryMinus Cross2 TypeMismatch
7eb28f7b128c3912a58ec7af615ebb9f63bf8cfa NumUnaryMinus Cross2 TypeMismatch
c58c18ba0db578e98cc8e091c1d6582501198a2c NumPlus Cross2 TypeMismatch
444f31382707a56edc16909f7fe6941875a57204 NumPlus Cross2 TypeMismatch
05f2465e74ea0cd08f54af4ebaa06db638971f4e NumMinus Cross2 TypeMismatch
41a90a296962c6369be071af60af00499bd8a91b NumMinus Cross2 TypeMismatch
6be02f3541d5f84d9112d52c412602e8e6631851 NumMul Cross2 TypeMismatch
ead0901c3487fcae94347fc384376041ecfb5906 NumMul Cross2 TypeMismatch
4cc7e87354b37764a85513fb03956141128614f2 NumDiv Cross2 TypeMismatch
21ad4b3874d1556c7c022df6573a47b9878a904f NumDiv Cross2 TypeMismatch
2b7341eda91f1bf03083fcfe4b15cd6c48414724 NumMod Cross2 TypeMismatch
687f1977ed370d381639a4b8a66e7a493174a0f4 NumMod Cross2 TypeMismatch
8dfff6e18cb878f22d0effc6266580731ee39995 NumPow Cross2 TypeMismatch
6e6893d2fbd81d2ec25801211ca7a2a76fcab0ff NumPow Cross2 TypeMismatch
c94cc394a63c77f5001bc873510cdd81d0942d75 NumGt Cross2 TypeMismatch
036b6e46c288a55e86559b02d7c05a12dedbd2c3 NumGt Cross2 TypeMismatch
ca9fb68b52fe668324dc0aba1bea827f26a2b5de NumGe Cross2 TypeMismatch
de387a9da181bd7d97fbacd577131117afed5f29 NumGe Cross2 TypeMismatch
6f3d3633ed0226cbf64f05cb8ebfc47edc88337b NumLt Cross2 TypeMismatch
e9392b344fe14902ebece78bd360156d529a7f1e NumLt Cross2 TypeMismatch
c495a48299fe609693f3586b57ded90f5cead735 NumLe Cross2 TypeMismatch
429544692969368fe45e80df60c3acd422d0dfb6 NumLe Cross2 TypeMismatch
294c9ab6e1b101f9dcf72cd909b94119573954ff DefFunInDef Cross2 TypeMismatch
b5b44ca4f3d79c70dee13753584c7c4ca078bebc DefFunInDef Cross2 TypeMismatch
a25d6bbfef6c9d3a147a2f536aca7fb08e9120a4 LetDefFunInDef Cross2 TypeMismatch
be37d702ae8f621ef29c3c5f447d15f5270f395e LetDefFunInDef Cross2 TypeMismatch
3fcf34e33a010c38e8b1d23e24d9d7a7dc56530f ConstantModelValue Cross2 CanNotBeCase
5dc75540c160bbe4f391081c30e2247b44dd830a ConstantModelValue Cross2 CanNotBeCase
b3007aa639ff65e51a84747ecedf3ab8dec9d07e Enabled Cross2 TypeMismatch
f57b0e43492a8273f9657cb73bda38ea6657f1ec Enabled Cross2 TypeMismatch
ec9aa34779ae5b1089e154a4702a9683a8fd3c65 Assume Cross2 TypeMismatch
e89c23f4d4530382514e08a4f68eee666952106f Assume Cross2 TypeMismatch
3fead7e3baad9da7b4beb2ff5b4a16c860723d6e AssumeNamed Cross2 TypeMismatch
2a8606d30accd1b9c53986c5128af7cd6a4c5a7f AssumeNamed Cross2 TypeMismatch
7f83efd59ef3516881eb7b6d239dc142cbddcbb3 IfCond Cross2 TypeMismatch
6d396dc0386c2566bc3671b9f444c730aedcdbfd IfCond Cross2 TypeMismatch
8a13927a4b55416f2921c4821f6a749f99cbb00a Domain Cross2 TypeMismatch
707ef59943ab59dacf148e569d85f617299dc88e Domain Cross2 TypeMismatch
2e92eef4ee75eb8d03e939a429e345addbaa62f4 Union Cross2 TypeMismatch
8a5dcb2ea15c733da64342f976b77cca8c1d24fe Union Cross2 TypeMismatch
7d56f8516e353e7e0185477c6ec20c8e8951c076 Equivalence Cross2 TypeMismatch
be976119a6ba5924d7dcbb38092eaf4b4fa61b12 Equivalence Cross2 TypeMismatch
172745f1a656344a511717efc39d46cff0ef6a62 StringEmpty Cross2 TypeMismatch
39d54b3b368a20c1dce5b0b2dd85eaf7997b5ca1 StringEmpty Cross2 TypeMismatch
dd9135d9a1df220048b54a7749abe551f7626ff2 String Cross2 TypeMismatch
73420d2072aa82f96ca7eab52d25fa7c50bb41e9 String Cross2 TypeMismatch
eb728d08737ad85785d44fb706de05250213c6e4 SeqLen Cross2 TypeMismatch
7306f149f8cc586d76612fb7eb3111ea575a97d8 SeqLen Cross2 TypeMismatch
34d6ceb1d2e66c64f90d7953446ccffe07a41a74 SeqConcat Cross2 TypeMismatch
fea05ba51cd311fc6df60643ae27d57223c3ea14 SeqConcat Cross2 TypeMismatch
fd447f97b8aad560ead1495b5820bebaed74d5fe NatSet Cross2 CanNotBeCase
21bbcfbafa1f2c6e16f764e236d76fb0b7b5744f NatSet Cross2 CanNotBeCase
58a7309692a1b7fe78af88b18dacc281aac96dfe IntSet Cross2 CanNotBeCase
974577c080d0e4487478fab0f209020a6c476a19 IntSet Cross2 CanNotBeCase
5991f73d9eb504fd195dcedde28edeefe81a2043 StringSet Cross2 CanNotBeCase
34f9b89b19df174ca8b78f06953260db0357e73f StringSet Cross2 CanNotBeCase
96484ef05bb9f03c723cb32baa4d6154c27dd237 SeqSelectSeq Cross2 TypeMismatch
152484e8b45d7dc6f28316943162bf9eac07274e SeqSelectSeq Cross2 TypeMismatch
c83a12d15e79c9c035d9ca9c47e364510be50019 SeqSubSeq Cross2 TypeMismatch
a4f8ddbda5dc0d61119160d44ad06e4c578a2074 SeqSubSeq Cross2 TypeMismatch
c4d4259343e909be7ff65572cb4ac76f5862ae9f NumRange Cross2 TypeMismatch
d43645b9a888e780365769b07893075bdf7ca489 NumRange Cross2 TypeMismatch
ba4c868ec731771c8a86868a96f1a959c24916b2 TlcExtendFun Cross2 TypeMismatch
9498be30ddd9ba03ac19c35ed3a5b673d76f56d1 TlcExtendFun Cross2 TypeMismatch
7c9c5dba6b0b07462ed9bf5d59fa02871699b3c0 TlcSortSeq Cross2 TypeMismatch
2cf0b01d237989e24275b159ae5a6fcbb1c9c42f TlcSortSeq Cross2 TypeMismatch
6ac138303d0ad7b6ee84acdd858b8cb1dd008101 BagBagToSet Cross2 TypeMismatch
89dcb5373a48845c48d6d476104d80445bb99953 BagBagToSet Cross2 TypeMismatch
74b4538067d60c39fec9ad8bde0fc2b21b2d1e5e BagEmptyBag Cross2 CanNotBeCase
5f2c36e395f3b3208f51bf2683c1a501835a8dde BagEmptyBag Cross2 CanNotBeCase
65c94c6c510ea1634c311d2c8700b0b1e37c1611 BagAddBag Cross2 TypeMismatch
5e5e03b1c14e0cd9250ce99dba460a1f1a5d37dc BagAddBag Cross2 TypeMismatch
22fb2025f1ce1592c3df98fac87e758a8e86e4a6 BagBagSub Cross2 TypeMismatch
3f99171aabf473d8ee7229fd1f4b21158f8f5508 BagBagSub Cross2 TypeMismatch
b09b63af26a0333d47c34e60acc9bc848e913f3e BagSubsetEqBag Cross2 TypeMismatch
0375ad221018f5e125a60a26fd83da72c1e6aff5 BagSubsetEqBag Cross2 TypeMismatch
868459e569421b13deff6e186dcd30ea6c3be9c6 BagBagUnion Cross2 TypeMismatch
7eeec24d73f17bbe562e82833d96b2d9ca1faab1 BagBagUnion Cross2 TypeMismatch
a32d58d99d576e27458366850420fb34e7652037 BagBagCardinality Cross2 TypeMismatch
221bb0b5ca740605752763c1ac1bd769d99ae1e3 BagBagCardinality Cross2 TypeMismatch
02a1eb20df1436cd62d861f183a6b776ac254188 BagBagOfAll Cross2 TypeMismatch
0e8eb48444e8ad173233a1f34992865da10a6d2f BagBagOfAll Cross2 TypeMismatch
e6a988f192c4732aed73a562d71d9ade7191b756 BagSubBag Cross2 TypeMismatch
809881946e20046baf68ea721b14ff7fd41b2441 BagSubBag Cross2 TypeMismatch
2c445e62591f7394a1aa21b543bc6f02a630a835 SeqHead Cross2 TypeMismatch
5fa78b3fcb6a26558dc0e88f06a5040d3174b2cb SeqHead Cross2 TypeMismatch
ba12e523c7ec5a5fdda87bb7a9d0ff5981431e7d SeqTail Cross2 TypeMismatch
a1250c27ebd81088948abff03803efff15b855b9 SeqTail Cross2 TypeMismatch