Index

Skipped feature combinations by case feature BagBagUnion

Id Case Feature Plug Feature Skip Reason
4a9b9348121fcaa63ca921c3d453fdda757980c4 BagBagUnion BoolTrue TypeMismatch
05cb9d556e15879e4a33e30ed8ee93278101bd18 BagBagUnion BoolTrue TypeMismatch
982be90cd117de6424457be03051418eb804c652 BagBagUnion BoolFalse TypeMismatch
4ebe3d571285a775ef16734d788cfd7eed8d56e2 BagBagUnion BoolFalse TypeMismatch
64fd24dc49bf9feed4354da33952e3505e9c23de BagBagUnion BoolSet TypeMismatch
5f64759dbd19353b8f5919ecd6e53e1143dfde69 BagBagUnion BoolSet TypeMismatch
9cbaedbf9710995a7b4e63d4ea989d86ca072c57 BagBagUnion And TypeMismatch
b9e97ef39a2e1d36c1263f68d41f903d265170a6 BagBagUnion And TypeMismatch
9ddc8eb173b6c64940f256991302a2b02ccde928 BagBagUnion AndMultiLine TypeMismatch
865ac0b30d977423ca6bfa55ad5dfc3bd04d8277 BagBagUnion AndMultiLine TypeMismatch
d76f8b67c8cec4786c76ffdf9711fa178e1a03c1 BagBagUnion Imply TypeMismatch
5216ffc89b86909eccc07d87514faaad7796049a BagBagUnion Imply TypeMismatch
3ba1640d724f96d30a10ab640eb27d6b7156ced2 BagBagUnion Not TypeMismatch
c28b1687efad26a935ed0dd22398b18752e8a328 BagBagUnion Not TypeMismatch
50a8a1993074399049c6f3c6d4ba6272d2c31347 BagBagUnion Or TypeMismatch
d36afb8f0009cc340068b214ab9aedfb64c01f8e BagBagUnion Or TypeMismatch
cca02c03674dbc371ededb21e5feeae373eb47b9 BagBagUnion OrMultiLine TypeMismatch
3b478f5d8a9b42c9be746fd7a06d5e9836b195f7 BagBagUnion OrMultiLine TypeMismatch
ceed4c07fed3566f25667090d3d034ac63e2447f BagBagUnion AndProp KindMismatch
4addb2e1ef055774dbfdd349ba7766a33880b964 BagBagUnion AndProp KindMismatch
1e731c98760e703476591f7c5ce480b5a29c2110 BagBagUnion Boxed KindMismatch
3b1a4b0a1d0c7dfaa97cb81d0a2c9ded25fc8c9f BagBagUnion Boxed KindMismatch
91562f81be1b3d5134b375719ee9114d9dcbb00a BagBagUnion Eq TypeMismatch
ca7130e1b6d28656bc20ad6f89dbd9f3fb87d3a2 BagBagUnion Eq TypeMismatch
fffe4fa78654396c649b9593302ecccceaa62cf7 BagBagUnion Ne TypeMismatch
99b3f1594e4a1e15b371c8ba2b7693b5a1ce4f74 BagBagUnion Ne TypeMismatch
c58d468b093da2337691d3ce976f9a2fb9279f4d BagBagUnion Set1InDef AlreadyCombined
fc719e8d0866d6b1145019a3e0f296aae596bd50 BagBagUnion Set1InDef AlreadyCombined
ca550ec71707b803fd5585af7521d050c36fa70a BagBagUnion Set2InDef AlreadyCombined
a663799fefcd39f7811cc049b2ea24ef295910c4 BagBagUnion Set2InDef AlreadyCombined
216beada03e9c9d47279d95d9e59c0a40d6272eb BagBagUnion InDef0 TypeMismatch
de99375877c329d39ae1eb4ddbb4f59039def18d BagBagUnion InDef0 TypeMismatch
fffd8014f13e3076950b43311f455b016b8b3d28 BagBagUnion InDef1 TypeMismatch
25396e71f9042dbd98638723134ac3acd4909c6c BagBagUnion InDef1 TypeMismatch
28325e9e0254768d3e6a4137fae58b0a19275cc5 BagBagUnion InDef2 TypeMismatch
7114398ad52a9bbe5a9d3c2fedacf9de0df6d4ab BagBagUnion InDef2 TypeMismatch
bfb627efdf36968567e290a3b4e4d412f1772ce8 BagBagUnion Fun TypeMismatch
e5f53fcc93d45e27689066d199744849f3a11826 BagBagUnion Fun TypeMismatch
1f15bba4662bd77d2c16431b353b749d6c3abc6c BagBagUnion FunInDef AlreadyCombined
f0716db6d4841a8616396ba075952fd59430c38c BagBagUnion FunInDef AlreadyCombined
5068a2096c7f020a7cf9339fefd9db984c63496b BagBagUnion In TypeMismatch
ad52edc242f4b50a29666494e119a488e1b0f7f4 BagBagUnion In TypeMismatch
021cb33e7257960430c9838f3a44ba897d651c69 BagBagUnion NotIn TypeMismatch
fe691c1380b3ba9c7297a620f81bdd236c00e3bc BagBagUnion NotIn TypeMismatch
09bca129173255445c415d29521b78022a134254 BagBagUnion Exists TypeMismatch
6d1d4291904d2f17851ad114716ea7bde9856625 BagBagUnion Exists TypeMismatch
5540b4e7f422029ae0633161fc61e7af49cd0364 BagBagUnion Forall TypeMismatch
5fd80dbb9a98efde8ed716b91e357d0b9998c0c9 BagBagUnion Forall TypeMismatch
42812441a7b6320165303b6749905da54ab2be58 BagBagUnion ExistsInDef AlreadyCombined
f5501a7c4eebd2442b2cf6d1d9f0084fe84a7e4d BagBagUnion ExistsInDef AlreadyCombined
4145fb18e82e75198ce63dec76b5299a91cc00ab BagBagUnion ForallInDef AlreadyCombined
450d3f4e5cf9708a788113461097d40c6e5de19b BagBagUnion ForallInDef AlreadyCombined
c763f139b3153b6ee8727fbd778e290d8e2816fc BagBagUnion ChooseInDef AlreadyCombined
db35c0b0ea1f067c8e57b5b21b0ad2de5f533fbb BagBagUnion ChooseInDef AlreadyCombined
3081a0121d8325a414eef551bb186a71eb96a8bf BagBagUnion Record TypeMismatch
7d5d08c698f3c8829959de346bdd08a5ded178f4 BagBagUnion Record TypeMismatch
2bee08930b9071e44ac034d688cf24105406804f BagBagUnion Tuple TypeMismatch
8f13eb315cc8e7dcadfc753bf497b8140c51f647 BagBagUnion Tuple TypeMismatch
e37c607b640000bdbe3fb97b2b2c1ce773a8f9b6 BagBagUnion TupleEmpty TypeMismatch
aa91213d71b02437add49801f2d5feff7d41448e BagBagUnion TupleEmpty TypeMismatch
751e1eb605a5f45b128733b7f661fd456672cce6 BagBagUnion Except0 CanNotBePlug
3faa22c51b6ee6148e3fc65762401701f0044fcc BagBagUnion Except0 CanNotBePlug
1e707e98645c57ad8bc1af82787fd9748cd07508 BagBagUnion Except1Fun CanNotBePlug
c99694cf0072aced3c50fb85d7fa44cb381989d8 BagBagUnion Except1Fun CanNotBePlug
506d771933d8746ce3bc29684b73f550011adb6b BagBagUnion Except1FunWithAt CanNotBePlug
1de1b68b2b2a934006a041ffa0a0d8ad4b4c343f BagBagUnion Except1FunWithAt CanNotBePlug
a9fd6ddcfbeaaff00f95c3938c8a66d96e01cdb9 BagBagUnion Except1Rec CanNotBePlug
98d8ec30118ad1388808956a57ab3de95ceb756b BagBagUnion Except1Rec CanNotBePlug
057e0b29ab58a586cd7dcdd272d88cc2bbdb9576 BagBagUnion Except1RecWithAt CanNotBePlug
9aeece1b02815fc30afcd89a0c32d13c847203ee BagBagUnion Except1RecWithAt CanNotBePlug
f824c220811e7d2f41b9bb14f01338b44ade0e9d BagBagUnion Except2Fun CanNotBePlug
6825c03ff966d68f7b0c26830db2371f3a6d3c8e BagBagUnion Except2Fun CanNotBePlug
5f1aec6dfa5729f0d5024ad3eac8f60a4503491f BagBagUnion Except2FunTuple CanNotBePlug
2c0305a5386adb92df651f6d9b3021060e3b18aa BagBagUnion Except2FunTuple CanNotBePlug
751ed8a1b2d03a5c949f8bdf20615073950872f9 BagBagUnion NumZero TypeMismatch
428b8984f882c3ebbcc6993884b94847a2fa2eb6 BagBagUnion NumZero TypeMismatch
255c1310df3fc1a7bd1c156d7fdae77d3e39e323 BagBagUnion NumOne TypeMismatch
06451197779f748dd1be6cd750ec929ff8d28d98 BagBagUnion NumOne TypeMismatch
b013b862fe16672cf19cb5749abbfa61d0ee356c BagBagUnion NumMaxInt TypeMismatch
45e35e7822343cbb73534de1af07ce2519a1a17d BagBagUnion NumMaxInt TypeMismatch
b55b9633e04c181e5ed88b1c07345744f1046626 BagBagUnion NumUnaryMinus TypeMismatch
06117d480497400ad21ea3ff7d86fb3650288bc4 BagBagUnion NumUnaryMinus TypeMismatch
30eb1f5b5a59f3dca76fee848fb6f60d9dd72ead BagBagUnion NumPlus TypeMismatch
4fd8cfdcab8fbce476a604b344af7df648dc80f9 BagBagUnion NumPlus TypeMismatch
b0c35b8eafe3a2552845adf23c27d1e8319a99fc BagBagUnion NumMinus TypeMismatch
be74e153bc19334d79d97fc16c1cf8e34a7d3ff0 BagBagUnion NumMinus TypeMismatch
bcbf6f0e1300ba6305b5d3c859825cf1ac55cad4 BagBagUnion NumMul TypeMismatch
07241f7531c2960143c0cd682ca43018ad3eeb06 BagBagUnion NumMul TypeMismatch
f40d1afbe896e45b851f0b3b6628ffa8777bdfde BagBagUnion NumDiv TypeMismatch
cddc9fe71c85c45627c8e770037b464d7cefe42e BagBagUnion NumDiv TypeMismatch
d3a6287455f584260998839b5847c0921eafc17d BagBagUnion NumMod TypeMismatch
fa3747828be7e32e757786d25edeae8637ad6883 BagBagUnion NumMod TypeMismatch
9721d1d1725189d139ee6803a23470154dcf35b4 BagBagUnion NumPow TypeMismatch
486d2d99bbd30d9b9b91672ab18f4addda3e3f7a BagBagUnion NumPow TypeMismatch
41e50996bc5791df94f5355482cbac1d83d819f9 BagBagUnion NumGt TypeMismatch
c417fde4be4b16a97d796d8003c94dd860bf4035 BagBagUnion NumGt TypeMismatch
5746bc3758a142f10a136d6ba41f5ac5daf39d98 BagBagUnion NumGe TypeMismatch
bf35f5ea3b58fdaea3629153469851cbe5ce0675 BagBagUnion NumGe TypeMismatch
0221d0f109bae406bb54bbf866c46e855e0f6d6c BagBagUnion NumLt TypeMismatch
818cef41cd60be8b183db44ecdba593461cd3c2f BagBagUnion NumLt TypeMismatch
6d6ceccec7abbce92af796d4416e6dc222fc5f1b BagBagUnion NumLe TypeMismatch
d86e797ce9ba7a3d68fb883f4afcdbefb21dfa02 BagBagUnion NumLe TypeMismatch
bcf634aa0681a5bbecf5b844313506cd108ea693 BagBagUnion DefFun TypeMismatch
ee51ea85ff790a0bf734fd75be8f117eb5b98029 BagBagUnion DefFun TypeMismatch
cc457cc5983c7ed95ea13620ac32ebabebc43154 BagBagUnion LetDefFun TypeMismatch
a189b72185cf5a5ded17cfb6a24e02d51762d78a BagBagUnion LetDefFun TypeMismatch
fafdc0073cbedf895ed79f1b4a27320ea65e2524 BagBagUnion DefFunRecursive TypeMismatch
7351b4af8df9a083e498a2d96ef71c288a558454 BagBagUnion DefFunRecursive TypeMismatch
31c897fd5688e5c11b9e1755becbbacbbb94b4e4 BagBagUnion LetDefFunRecursive TypeMismatch
7b5e22a349381f7d45b316a57c63489f970ffc0b BagBagUnion LetDefFunRecursive TypeMismatch
e066a113e0dc9e79196f89c221f70280d1711e6f BagBagUnion DefFunInDef AlreadyCombined
5e0241b7c722aef0a3f57ea29ae20c4b398fd461 BagBagUnion DefFunInDef AlreadyCombined
79f9a5e3e3fb3773ef4b2bb569d6cf196ab4e1cc BagBagUnion LetDefFunInDef AlreadyCombined
79a48edc64ecf4777ace98beb9a66a5bade0ed21 BagBagUnion LetDefFunInDef AlreadyCombined
a3fa62a28cf7f68bc7de3dc6f6bb1e97b5b0df65 BagBagUnion VariableViewExclude VariableExcludedFromView
77cf961f1ec4a13efb7a942d647daeab611fa015 BagBagUnion VariableViewExclude VariableExcludedFromView
9d7294c6692b68be33d4356f18f8062639ba5199 BagBagUnion ConstantModelValue ModelValueCanNotBeUsed
7258455825189ef807e82c5df49762e9f89a8396 BagBagUnion ConstantModelValue ModelValueCanNotBeUsed
fd49dae4ebabaa0b49ed63201a09435215cfe8fc BagBagUnion Enabled TypeMismatch
6b96abe7e1f945feeb46e3d2536fe61b254563a3 BagBagUnion Enabled TypeMismatch
56e0fda06622cde8300ec2e4beeb35799ef7b151 BagBagUnion Assume AssumeIsNotEmbeddable
c92747d426b6ed8ddd081db9bd3beb8d6eacf3bd BagBagUnion Assume AssumeIsNotEmbeddable
9b22bc25d0a29f8d07ee963e7d485507ad019e5c BagBagUnion AssumeNamed AssumeIsNotEmbeddable
6eff59ddcba912b4d8bf78b87f42c6395d526b88 BagBagUnion AssumeNamed AssumeIsNotEmbeddable
ef229607f92b27705129deba9d3fb9be7c595287 BagBagUnion Lambda TypeMismatch
4c15e722726995340ccfd6787011acbf9667dcf9 BagBagUnion Lambda TypeMismatch
868459e569421b13deff6e186dcd30ea6c3be9c6 BagBagUnion Cross2 TypeMismatch
7eeec24d73f17bbe562e82833d96b2d9ca1faab1 BagBagUnion Cross2 TypeMismatch
cfe78b92bc36f2fff8c806ec2ed546752f8bd922 BagBagUnion Cross3 TypeMismatch
85b3c5308c6f135533ccf14379529a389f7ca2da BagBagUnion Cross3 TypeMismatch
3eb8a1ab0834b1594fdefbe540920248ac6f68b6 BagBagUnion FunSet TypeMismatch
36d864d074c97605d3cab07a3861a5a093dc896e BagBagUnion FunSet TypeMismatch
afd5f956afb0db58229041a7ad623542b18033ae BagBagUnion RecordSet TypeMismatch
898222253c1924e8556689fb1e5f35bd729e24ff BagBagUnion RecordSet TypeMismatch
0b8dc445bfcb787b8c5787c55af2c3151cffc788 BagBagUnion SubsetEq TypeMismatch
812529eb6c1e806f509208df1fe4f461587c0351 BagBagUnion SubsetEq TypeMismatch
a9e8134cb74be25148990a4ac3e87ecd07b1e6d2 BagBagUnion Subset TypeMismatch
b52ef2a21c63ae3b94623be123c36464f62cdf26 BagBagUnion Subset TypeMismatch
c39c2c70ea24bdff7b1538cddc95bb3d45bb55a4 BagBagUnion Unchanged TypeMismatch
4300aa5511cb2bdaa1546510605845887d2f4cea BagBagUnion Unchanged TypeMismatch
c07f33daa909b40808fe794c52b6da0bd37775f6 BagBagUnion Equivalence TypeMismatch
85d0690a8b47954c09d1247162a3d799ddeecf6a BagBagUnion Equivalence TypeMismatch
fb80caa5fce7ec9877a4733953e510266fba4a9c BagBagUnion StringEmpty TypeMismatch
fcf91ca86415dbab676339571236b549552b66a4 BagBagUnion StringEmpty TypeMismatch
840d476e6b0830d6fe4fe296b8193935e4a400a0 BagBagUnion String TypeMismatch
97f509ea47e8129aa2ae5c4981f5e2afe94164b3 BagBagUnion String TypeMismatch
59adee78d6d1696eb8eb2832e91bde64ce3ba018 BagBagUnion SeqLen TypeMismatch
74a07e1ee49a0604f41d1484b28afec8922734f5 BagBagUnion SeqLen TypeMismatch
bc544c0504a451cb7b146be3d675a5838d2d6ab8 BagBagUnion SeqConcat TypeMismatch
7630238aa52787186584fd7596493784ab481c12 BagBagUnion SeqConcat TypeMismatch
a7d46db6ca3fbe94d9b261096ff54d505b566075 BagBagUnion SeqSeq TypeMismatch
80d64911c2451fd663134ab60a610ebfda51a69c BagBagUnion SeqSeq TypeMismatch
25773f98e1139d32996c02a424b82872b213e101 BagBagUnion NatSet TypeMismatch
6ade576f93bc209a6c3ef4664f536a6e84d5005f BagBagUnion NatSet TypeMismatch
bbfd4b861f690c7d543a6fa7eba4b76e0264b440 BagBagUnion IntSet TypeMismatch
cf003fc1325b860cf2d04918221c2b4530e6715a BagBagUnion IntSet TypeMismatch
1c9db7e5c22f433479cc90d0f26e83fea014546d BagBagUnion StringSet TypeMismatch
34caaf8dfdaebf3358e7a621333a459756d529c1 BagBagUnion StringSet TypeMismatch
7e49c4b408ae6d28afafa02b100b2677f55a5ec2 BagBagUnion SeqSelectSeq TypeMismatch
3571975ecd6377ef4fb14b5f47f1ac6cb16c4249 BagBagUnion SeqSelectSeq TypeMismatch
97131b1dcff122b720427f2efc2df99ec934611c BagBagUnion SeqSubSeq TypeMismatch
ebe81ebac12fa4702430c0e982ac99f2eb5541c4 BagBagUnion SeqSubSeq TypeMismatch
c28a7a77d2eb786c773d62b9ce0fdccb1934fbbe BagBagUnion NumRange TypeMismatch
8ede497126a874ddc4ee72806ed0bd002bb9d356 BagBagUnion NumRange TypeMismatch
0375597baf1abb57f8bbe40d1a0f9d0171f5c8e9 BagBagUnion TlcSingletonFun TypeMismatch
898fdc1a40e477f4f5304819797c6ad3c5d4ab64 BagBagUnion TlcSingletonFun TypeMismatch
1a008e731616c74d463238e858d560da513328d7 BagBagUnion TlcExtendFun TypeMismatch
2debc4789c0015c4ae3d09fddd2bac75b0add5a9 BagBagUnion TlcExtendFun TypeMismatch
903d4d363e1779f0394eebe4c23d541f02750ac8 BagBagUnion TlcPermuteFun TypeMismatch
c50c66c5a3053ce81a424345c4a0c49092f7546c BagBagUnion TlcPermuteFun TypeMismatch
d3e5f3d88f466c74a84a78f4103d8cc61604a7f6 BagBagUnion TlcSortSeq TypeMismatch
c25e0ecaf0c0e2ab34bd01b61759e2ec1e2856f7 BagBagUnion TlcSortSeq TypeMismatch
f7725560443c64fa085c2584973fcdcec31f4ed1 BagBagUnion BagSetToBag TypeMismatch
c545da19f6b60677391a32720ad6693edd54ced5 BagBagUnion BagSetToBag TypeMismatch
ebe25cebfb893f7aa71c2c31b6a62fdd4339af79 BagBagUnion BagBagIn TypeMismatch
814f28010e99c6c1f928bb555cb2391ef531ed8e BagBagUnion BagBagIn TypeMismatch
16cdf306de37d217957d93fb7ba1b80347debb71 BagBagUnion BagEmptyBag TypeMismatch
14d48f23a0a7353683a4efdd77319a71f32f1f08 BagBagUnion BagEmptyBag TypeMismatch
465f071de5709411a011dbf8a74fac9c9147a3f0 BagBagUnion BagAddBag TypeMismatch
2cce67bc8c2bd7fc6f29db64d1a9767d01a1af1f BagBagUnion BagAddBag TypeMismatch
5e28742479f00b1193dae6620f7ff56907bdb546 BagBagUnion BagBagSub TypeMismatch
7c77845345032efa1529841fe87f6c703a5da2e6 BagBagUnion BagBagSub TypeMismatch
cdde1fbead0b12259c4b9c823c2dca17bad634fe BagBagUnion BagCopiesIn TypeMismatch
be3604fe6822df60e903d3813da5a2e779d8d921 BagBagUnion BagCopiesIn TypeMismatch
3a9f87f9d3cbdb8a21afe03df32e3cd99d16ee9b BagBagUnion BagSubsetEqBag TypeMismatch
5df2119c5625d9f9cfe7894e0433fcaf3293496b BagBagUnion BagSubsetEqBag TypeMismatch
584d62985e2b26d2433e3defdaf67596de95bff6 BagBagUnion BagBagUnion TypeMismatch
4dc27149226def9ac998e331b7e5ea07de3545ff BagBagUnion BagBagUnion TypeMismatch
1bfcf12e846acfbe7ea71936790673ebb18478b2 BagBagUnion BagBagCardinality TypeMismatch
aebec749f92e8b491398a72216e975cfdb21bc13 BagBagUnion BagBagCardinality TypeMismatch
86b079a95ef1b0b579c1bdc6c7d50c87e5166fba BagBagUnion BagBagOfAll TypeMismatch
18f1aa50220fdafdea3ff8bafa2291abdbfbcac3 BagBagUnion BagBagOfAll TypeMismatch
0f264fca2c9bf2657354efa8e17a9c767da348c2 BagBagUnion FiniteSetsIsFiniteSet TypeMismatch
409f73d9b7db540117264399ba04454ae91d2600 BagBagUnion FiniteSetsIsFiniteSet TypeMismatch
aa5488fce1c6a2651e5f189f79065e83b15844a4 BagBagUnion FiniteSetsCardinality TypeMismatch
e24e27a1cfe7b8129e3d447222e1c09a2e6c0104 BagBagUnion FiniteSetsCardinality TypeMismatch
54065f3e7ae973deebc6cf04ee8bfdf27b22c3dc BagBagUnion SeqTail TypeMismatch
0f5657d5ca92b9d18051dd611dae400564e66b59 BagBagUnion SeqTail TypeMismatch
82d0fa619d5b2dfc8294cd52bd4b995edd78e7d7 BagBagUnion SeqAppend TypeMismatch
62a5a39593eaad4e751072c2ec43ec9aa443093b BagBagUnion SeqAppend TypeMismatch