Index

Skipped feature combinations by plug feature Cross3

Id Case Feature Plug Feature Skip Reason
c951d12acd33b89b0bcfe3ba504619cd6db03d0a OneLineComment Cross3 CanNotBeCase
a729ad5c0804019e32e67834507d4fa18182fc6c OneLineComment Cross3 CanNotBeCase
19281635a7e11a47933a575fdf15bcbae12ea057 MultiLineComment Cross3 CanNotBeCase
37f585b4226b29351d42d66471eda273749bdc29 MultiLineComment Cross3 CanNotBeCase
f45065bf4002cd7d1affb8dc85866917fa34ad9b BoolTrue Cross3 TypeMismatch
935b9b8d5596e797d30abf20c778867ea89597e1 BoolTrue Cross3 TypeMismatch
f4847cd2c89acc4decadd4f0092e5c715631ea30 BoolFalse Cross3 TypeMismatch
305dd86a821d87d9916e256f342331b8f1355396 BoolFalse Cross3 TypeMismatch
c1175515489cd3bb6ace12caf44f42b2e8ac9478 BoolSet Cross3 CanNotBeCase
1f9b9e703ffb2707013a404a78bc5faa2e80cf87 BoolSet Cross3 CanNotBeCase
e72a2880454be674cf6ae43a508eb7df1b56a9c1 And Cross3 TypeMismatch
4bc20955bc05eecadd83d2ec6a97b13229a6027a And Cross3 TypeMismatch
a7fff71294909bae972c9af1804ca73fb3cf70e6 AndMultiLine Cross3 TypeMismatch
b131d6badcc1c5a6c94195339ff53a39c31a9039 AndMultiLine Cross3 TypeMismatch
a07e54f2f20899d88ae61872e220fbfc236651a7 Imply Cross3 TypeMismatch
489d1725d7311d036a216595d94ca202d1261241 Imply Cross3 TypeMismatch
9ddfc455f48b251884cce5e8bd0e827f4d138b6e Not Cross3 TypeMismatch
e24dcb57cab72a1f9f1bdbaadcb3e437827c8abb Not Cross3 TypeMismatch
bb4d9f9de62440b684290dab6bf8a17873fb1202 Or Cross3 TypeMismatch
a9f66190fe45693374eea3dd2b061987908080c7 Or Cross3 TypeMismatch
89e82bc06195fd5e734b3221ff497fae037596d7 OrMultiLine Cross3 TypeMismatch
84ab39e9329497385a514b0129988e293f322b4c OrMultiLine Cross3 TypeMismatch
54a3aa1cb93ceed49c586713af3ef81c2b4f761a AndProp Cross3 TypeMismatch
921da4025ee2cda9f14a494642ec14844d43ad2a AndProp Cross3 TypeMismatch
d3ff6334c3a0a49c11bba51f106706be70bc406f Boxed Cross3 TypeMismatch
498524d925e9030f6dd6027864a6bb7111e1dc8d Boxed Cross3 TypeMismatch
5d8486c448daaf21fd9fe3c5e0b3c7b3745ea25b SetEmpty Cross3 CanNotBeCase
4d4b183c255af3baf283b6b96c3048871793f94f SetEmpty Cross3 CanNotBeCase
cd4df7d7a53ad1d102204600aeba7258ed7f0c46 Set1InDef Cross3 TypeMismatch
1771776702a8036d841257d08f4d8f6a767ff138 Set1InDef Cross3 TypeMismatch
07136fd3a950be6404df4de773ae30c30c858197 Set2InDef Cross3 TypeMismatch
e9015677495ee58044f4f8e58bd2b9cc4f391c23 Set2InDef Cross3 TypeMismatch
2eb58ba66b5242c63e7cfafbf80f7cd6f8a30815 InDef0 Cross3 CanNotBeCase
3ccc482fb7d5c44bae537545e2591783a417d69c InDef0 Cross3 CanNotBeCase
4f7b2a3d631d19d8abbb0d9427b8733fc15dc586 InDef1 Cross3 CanNotBeCase
c8dfcabac0fe20a89197715708360dbb3e8baf74 InDef1 Cross3 CanNotBeCase
57eb30a3ecbd9b266df471875938016b5941fdec InDef2 Cross3 CanNotBeCase
00efd1e6de00384692e010818625dd216bde017c InDef2 Cross3 CanNotBeCase
98bb3351e7de8924ac7c13fdcc15d5c14de04eeb FunInDef Cross3 TypeMismatch
d69e93f36ef8304653d76058e4d56c6339fb0984 FunInDef Cross3 TypeMismatch
7fd5698c05fb872953f17f1e8e687f51fccd9eb5 Exists Cross3 TypeMismatch
c3de7f3b95fdba4f0efa6671f065667e59cb5c06 Exists Cross3 TypeMismatch
152f6749088723d392879f54722f83055dd12c0d Forall Cross3 TypeMismatch
1424dafe3350dffbfc978e8e1ba0f5e1eb05d579 Forall Cross3 TypeMismatch
72b16a4797b1c42b8105ab527f8b7af40ff9e333 ExistsInDef Cross3 TypeMismatch
d12c6745ab04d66521e91e8ea6c849c3c30d9a94 ExistsInDef Cross3 TypeMismatch
7dd04374517d4f8b8b3306a3f4d9ae94f9edb449 ForallInDef Cross3 TypeMismatch
99cfd9a96f1df4907ea9c0dab7f548a0320940a4 ForallInDef Cross3 TypeMismatch
99f437deb880e37d21d1704dc72e64361dc6e547 Choose Cross3 TypeMismatch
c1d18e73b58b5871835ee4eadd10f436dab261b5 Choose Cross3 TypeMismatch
cb6279323e577dcefab56de707fbf47841d65343 ChooseInDef Cross3 TypeMismatch
6c424931d4563ada89596faeefd03b779a334717 ChooseInDef Cross3 TypeMismatch
3c2796d57175cc6e317624d72e4ca8d631f89e1b TupleEmpty Cross3 CanNotBeCase
6d6be37c5cdf567d3d3329be936d577ddcaa3984 TupleEmpty Cross3 CanNotBeCase
7c1114a966fd5f20d36ec84b577178918700bcd5 Except0 Cross3 TypeMismatch
c391a977f649aaeb0dc7493279d8080b8f74bf6a Except0 Cross3 TypeMismatch
1967b0b2644c64553afdd7fbe957e36ff4ee3e9e Except2FunTuple Cross3 TypeMismatch
f56e1828c4060de768e5d557bff2e4549162a825 Except2FunTuple Cross3 TypeMismatch
2e68ca937834febdede59d09fb5abc39e7b7a072 NumZero Cross3 TypeMismatch
71a7c6f59d9db97c9e5a234bac29ed8d744aa5d4 NumZero Cross3 TypeMismatch
43b6d7f6dc91fd6adc946193dd813dfafa301ae3 NumOne Cross3 TypeMismatch
bcc89a02c19cf4553cddfba1b6aba7a64f76cf90 NumOne Cross3 TypeMismatch
c137347b2311d55cab7332de529d9a65addc73ac NumMaxInt Cross3 TypeMismatch
7e782e74dca374d79f1274a3be043c3c8df8bce7 NumMaxInt Cross3 TypeMismatch
8ad0be5b45c751f1ab5d9276c6729c60c978a1f3 NumUnaryMinus Cross3 TypeMismatch
d29ccebdec05d93e5981f98779b8061bd95eb3c2 NumUnaryMinus Cross3 TypeMismatch
ae72b56485b9b7ec2a94cc85e6caa28c7f648109 NumPlus Cross3 TypeMismatch
ae253413c6ee3adb46eb70a0d55a86a883c749e3 NumPlus Cross3 TypeMismatch
377efb36616eaead11be5144484affede31773b0 NumMinus Cross3 TypeMismatch
5cb157999ff346fcbb9603468aac79b700e7d4e8 NumMinus Cross3 TypeMismatch
baeecbca12a06b77ce0cea45c52efdbe08819bd8 NumMul Cross3 TypeMismatch
07809028f08fcac51dfcbbd4d894c1a928beaf91 NumMul Cross3 TypeMismatch
9166eaa5bc43d3890c5006f1a9f1b8d8a9842b80 NumDiv Cross3 TypeMismatch
342bda3d1dd350bd28f888efbdfe8a7885da4e87 NumDiv Cross3 TypeMismatch
60139e7346c54ab0015231d82277ced4825ffdab NumMod Cross3 TypeMismatch
599e4650b395048f0d444a6d9f72de5e6e529da0 NumMod Cross3 TypeMismatch
1328f830ffa61b66bcdec628fa71e38b6dfcb905 NumPow Cross3 TypeMismatch
345434e679ea7edfdf0fd3f3b9972ab5ca7a3c24 NumPow Cross3 TypeMismatch
edc2076dfe0a2fa9256aa5e3ae251a07624af09b NumGt Cross3 TypeMismatch
a11267da674d5e411f2011c124fa066b82b3bb5f NumGt Cross3 TypeMismatch
4651e9c12288b9e30eadbc0b12ebdafad4df4a11 NumGe Cross3 TypeMismatch
a16877bc359069d3e1db3b83f8180a63ff48ca2b NumGe Cross3 TypeMismatch
afefa045aaecfd375006e923896f2271ffdac3b3 NumLt Cross3 TypeMismatch
5ebf631a522ff6eff33f179a4eec4157fcf70703 NumLt Cross3 TypeMismatch
a4b357ba3d59a7160b8e49d3201e7141f0503a42 NumLe Cross3 TypeMismatch
bb63443597bce9d021ed319bda16688121260c9f NumLe Cross3 TypeMismatch
8013ed80d30d191b311e7940d2e0de910e5e8488 DefFunInDef Cross3 TypeMismatch
0aff0786e066075190293918f5bc6b25c00179de DefFunInDef Cross3 TypeMismatch
8c237200ae621b337c50d019091fc0eab75ac1ec LetDefFunInDef Cross3 TypeMismatch
b6a1a4c5408a2296fa8513b74e036a96ab63305a LetDefFunInDef Cross3 TypeMismatch
d2527e731cbe4b5f5c17fff46d09b6eefa148c6d ConstantModelValue Cross3 CanNotBeCase
8dc6942e801231c19d2986c55b945d8b9d2a6727 ConstantModelValue Cross3 CanNotBeCase
4a4b2ae6a53cbfc0d2ba1b209320fd7f57e74c73 Enabled Cross3 TypeMismatch
08a67276b6134e0c9a36d61ad7afc0c93dd23a2f Enabled Cross3 TypeMismatch
b9b171f5a9dc417fbb14bb2b9dfc7ab98256681a Assume Cross3 TypeMismatch
fae6ff31165918e3ceae2daf690395097328d663 Assume Cross3 TypeMismatch
3ba6f57db2ba18e2f304127c4015c15584b941fa AssumeNamed Cross3 TypeMismatch
6b3186ccfc3e320db64e2f9379eeb4d8d4b79ea5 AssumeNamed Cross3 TypeMismatch
385b288eb2c8702c7899409953e7c59518c8982a IfCond Cross3 TypeMismatch
eb57d1103491316b63328f5931da93a542f221fd IfCond Cross3 TypeMismatch
f5133ade1283a3f6567465e1cb70b6d974632f6e Domain Cross3 TypeMismatch
7736640efc09c40f1b2952dda67f66ccada5265f Domain Cross3 TypeMismatch
fb9bfb5d287bdb3c4495102a2d6e4d03b06362b7 Union Cross3 TypeMismatch
bb9ebcb20eb0335ac8e2eb3ad3c388c7e8a6dc31 Union Cross3 TypeMismatch
31c5a179f4f1304278cfaed0abd979eb476420b0 Equivalence Cross3 TypeMismatch
add7ff34f84fda8b85199ebda477c78ad3e41ecd Equivalence Cross3 TypeMismatch
10020564f4004c9cb92e767477b0e11add504b44 StringEmpty Cross3 TypeMismatch
e39e4c152b940234c6f3183b5dbc26a13bd3a78d StringEmpty Cross3 TypeMismatch
6f70ae1f1148cad65189d7a0f7c1f811663471d0 String Cross3 TypeMismatch
b8bcaf383a0511d7eeb4979c1d9d550d0fe7ed71 String Cross3 TypeMismatch
0e066149bf5e6532bc0e676f7f44fc1db512c4f0 SeqLen Cross3 TypeMismatch
6e0ec1cde1918680ddbc13c9151a56b170137ef1 SeqLen Cross3 TypeMismatch
c4e468afa89694834a26642fab9f594b4785bc10 SeqConcat Cross3 TypeMismatch
59af2bb3e3ca5a2bf8ae838e9b7bf8d5d3d40733 SeqConcat Cross3 TypeMismatch
022c7adec0e6a227549f9912256992e4a209fe69 NatSet Cross3 CanNotBeCase
9582e33e6868d7207bdbd18c3bf7d8072ed526b7 NatSet Cross3 CanNotBeCase
3b0d8387f8abecc93c93d7cc5052d757e44009c0 IntSet Cross3 CanNotBeCase
ce6035e23dda2892896f66ce91b167ca4f992976 IntSet Cross3 CanNotBeCase
7e628f140f0080dcbf92a73309fd8b0a21cab384 StringSet Cross3 CanNotBeCase
34012bdfbab2865b92772096314729b9e8ed4f4f StringSet Cross3 CanNotBeCase
8c52e7777341680718e987fffada43d9d1120024 SeqSelectSeq Cross3 TypeMismatch
fc0a7e61ab7e18ba6d55f1a2ddffa62638dffc7b SeqSelectSeq Cross3 TypeMismatch
4f8f2c16893f8c419181d373cc443cbf8f11fbe4 SeqSubSeq Cross3 TypeMismatch
aaa8f0e2c3fc4a2bc3c42c8a514c82298c5a3186 SeqSubSeq Cross3 TypeMismatch
5bab029c8f6e800de31ad0d141e3f8141c9bb80e NumRange Cross3 TypeMismatch
567196abad96764e8b0a9f2c9d9865ddd5d61a00 NumRange Cross3 TypeMismatch
5627a28831bbc3f0327b433173b4c1ef7414d7c5 TlcExtendFun Cross3 TypeMismatch
43c76e8c3c580278912c6365e1304445ed24ee13 TlcExtendFun Cross3 TypeMismatch
0e0cb830132b87960061249ee486802c1e463427 TlcSortSeq Cross3 TypeMismatch
dc51478ee2bc7ee6228901492ffe005b77a744f2 TlcSortSeq Cross3 TypeMismatch
b2866747c7c4dbda1d6fe39e4583e1a99257d1ea BagBagToSet Cross3 TypeMismatch
8747a17ea476b42ef93caab80e5ff328ffd44a04 BagBagToSet Cross3 TypeMismatch
d392fe5843ad14c52d8af4b0111199b23ea3b62b BagEmptyBag Cross3 CanNotBeCase
5290528edc451c72cf6cdbbe95c3a82246d80fd9 BagEmptyBag Cross3 CanNotBeCase
2cb22bea2bd3f37d14a37a2484c1b3588836656b BagAddBag Cross3 TypeMismatch
4726118df82c3d1f66de2a953716c48fbaf13224 BagAddBag Cross3 TypeMismatch
15c88a56a171d8e9c87cfa60ea6826e9c840a99d BagBagSub Cross3 TypeMismatch
cb7b0fb3038f7ec5265aa00dd2f9384eb34bfc2d BagBagSub Cross3 TypeMismatch
374cbf46ca7b6b681c37b61bd3bf04dafb3babb6 BagSubsetEqBag Cross3 TypeMismatch
5cdad07b4080a1ac6b9fba5b4ec091c62d64876b BagSubsetEqBag Cross3 TypeMismatch
cfe78b92bc36f2fff8c806ec2ed546752f8bd922 BagBagUnion Cross3 TypeMismatch
85b3c5308c6f135533ccf14379529a389f7ca2da BagBagUnion Cross3 TypeMismatch
be6277d668260d986178b9e62c32c9e1e3deaa55 BagBagCardinality Cross3 TypeMismatch
a1e1e3ade227709fc7d46b1a624a38bee48601c5 BagBagCardinality Cross3 TypeMismatch
bec0ca12cb9b050cf033c99990172048f2791206 BagBagOfAll Cross3 TypeMismatch
47eb3854f7c3766ed010de17c876397b1f323caf BagBagOfAll Cross3 TypeMismatch
4ced59bb1f87e3bd7f3c12574a280568d9410ed8 BagSubBag Cross3 TypeMismatch
0a70f76efc79a2ec8c654a8b6ea4e1577730b52f BagSubBag Cross3 TypeMismatch
fd2e15f30bef2ce26ded507e379499f5ce34211a SeqHead Cross3 TypeMismatch
4d19453b71a5460ea113fcfd3a471d2296b6c20c SeqHead Cross3 TypeMismatch
042ace7c9f950c86670cc42c2240f39b5b5b515a SeqTail Cross3 TypeMismatch
d78d7ceb072752eedd8a566e8fa9cfcca27eaf94 SeqTail Cross3 TypeMismatch