Index

Skipped feature combinations by case feature Enabled

Id Case Feature Plug Feature Skip Reason
09fcc5674879f5f67e1267ccd6be86b4932fc818 Enabled BoolSet TypeMismatch
c20853624091685b68ec2221948ae6c762a3684b Enabled BoolSet TypeMismatch
b3e15c96449cf6744dad83605f6449523247b70b Enabled AndProp KindMismatch
a6a3d57935f070df2d1a0eb357e0500cce4c662c Enabled AndProp KindMismatch
6a4cd2a898aa227ea5c3294e6cdb9ef9bf6d2b83 Enabled Boxed KindMismatch
657f60f11fd71b5574613140e3a8f81760446f30 Enabled Boxed KindMismatch
16147dced43f35cb0cc8de7cfdf37b713ff2f80a Enabled SetEmpty TypeMismatch
43a3de2d65ea0ec4fe444eaee2b6c3484d9299d1 Enabled SetEmpty TypeMismatch
4143f4cb06d48ea3bddae67b01a592602a350b8d Enabled Set0 TypeMismatch
b973a7c7a645e3d19c09008a51567e8ac22f38a2 Enabled Set0 TypeMismatch
d3aada8993a27b595a48f4f96d6b18dc40c88b06 Enabled Set1 TypeMismatch
4c24c0806d3893748f51dcbdcf693977605d9b3c Enabled Set1 TypeMismatch
0e8f668336c9f6042d89b2b9caf98f687d2ab86a Enabled Set2 TypeMismatch
5766ce6f847951723878c1e72afaf8347d988d53 Enabled Set2 TypeMismatch
07f0aaf03cbbc09a47bb582fa56db2bb8356f648 Enabled Set1InDef AlreadyCombined
6ad17defbed7f1a14a71e4b6a4b9dfca5ca2e23a Enabled Set1InDef AlreadyCombined
c07274fd496af795bf7755e1df0e3396fe8a49d7 Enabled Set2InDef AlreadyCombined
2d569854e94255d5113246c8f776235192131deb Enabled Set2InDef AlreadyCombined
5f33d539af0301503ae99216d445769ff7c8a2c3 Enabled InDef0 TypeMismatch
bf409896395340f531ab8405888123997c2be16e Enabled InDef0 TypeMismatch
57e1b12b5c3253bdf835497c1bb0e27f429d0e21 Enabled InDef1 TypeMismatch
f9bd593d8c28a68a02106accc1fc0cea7a7624de Enabled InDef1 TypeMismatch
94a085680ed4a436b05473004ff1946671e6f908 Enabled InDef2 TypeMismatch
be5ab89825f55c82473ea7cd2b11cb8ba502dee8 Enabled InDef2 TypeMismatch
3f55f51e286bfd9a12f53cda5c4accb92280769b Enabled Fun TypeMismatch
f4811ec7babd26a5f27a2cf77585237c93d2ef3e Enabled Fun TypeMismatch
562c4df20660fe4ded6fa82ef9e47920ad24314a Enabled FunInDef AlreadyCombined
42ece41da7b4d03f68ea370f79c3de238e099cef Enabled FunInDef AlreadyCombined
b689aac22489c476f2b1529efa5e99b26f244602 Enabled ExistsInDef AlreadyCombined
97720621559acb6fdf8cd527d45e0d51ea014700 Enabled ExistsInDef AlreadyCombined
093af687e6937c72ec3ffd239c3227c9f95fbfb0 Enabled ForallInDef AlreadyCombined
7e716b4262d48774804dfa9af9b2c31f2095a1ce Enabled ForallInDef AlreadyCombined
53bec78723d3da4ded47bae97718514d16a3e9a5 Enabled ChooseInDef AlreadyCombined
a98118c5d30644827c22ae53fb41b837b2bc1039 Enabled ChooseInDef AlreadyCombined
a206910ca2055e2277acf0bff5a2d846d61858d7 Enabled Record TypeMismatch
ee9d84f7a9d78f94d3d4db84c99670c1b0d09e20 Enabled Record TypeMismatch
21034fd77b63757a1fc78ec4b6e036e3bcdadea2 Enabled Tuple TypeMismatch
ad5f11ed7cd4ae8c4dc081aed3a8a4574bd6789b Enabled Tuple TypeMismatch
a3296f43656973668eab56986896b291c490c0dc Enabled TupleEmpty TypeMismatch
ec72d763efa9a839984e466f3521ccd2eb4b0f38 Enabled TupleEmpty TypeMismatch
ae7e9acd2cdd7ddc5e8f07fe970346095be3aa77 Enabled Except0 CanNotBePlug
927a9decec9e705c71c542acfde58e34bb80adaa Enabled Except0 CanNotBePlug
d7a868156cb1ff849c4fd908f724365263fc3089 Enabled Except1Fun CanNotBePlug
a6a5c1929da1de8612c9293fb40ec7f167b953dc Enabled Except1Fun CanNotBePlug
5a6e13b9d84e508193ca581b60593d477d528299 Enabled Except1FunWithAt CanNotBePlug
e339f9070e49513973ac967d2f15b3c8df805626 Enabled Except1FunWithAt CanNotBePlug
ab4a130779c2c2e69c4c8b3866c82423032fac17 Enabled Except1Rec CanNotBePlug
9dadcfa3f0de5eb2fc5b216bdb4a9975d79f7a7b Enabled Except1Rec CanNotBePlug
a72d06d7601bdb5056001a206d8bd709a7faf7c5 Enabled Except1RecWithAt CanNotBePlug
3dea6329f16334b31448127f6472ee34553b1a84 Enabled Except1RecWithAt CanNotBePlug
77eaa5e7cc5754e78fd05b58f4817b0f67ae28de Enabled Except2Fun CanNotBePlug
ec4653315690253e422d8aea43f7734ca829045e Enabled Except2Fun CanNotBePlug
fd7395bc9f4ee9a4c415dc9da00511acfb3998f5 Enabled Except2FunTuple CanNotBePlug
a5580f0eb932fa7538d7be9dbd9ce9e0f225f72c Enabled Except2FunTuple CanNotBePlug
6be64da42ce745f57d8a8e867a63b22cedadf91c Enabled NumZero TypeMismatch
44fe1cdaf6d38c9848263a156e49821983ec506a Enabled NumZero TypeMismatch
919f72c62061d18eb314414aad72b158714a9097 Enabled NumOne TypeMismatch
dd321129d171442d25fcf2003cad60e722ecf995 Enabled NumOne TypeMismatch
0a08da41ac2dc25677a8efe711bd89c0fcfe8ded Enabled NumMaxInt TypeMismatch
c694ddc3eeb78408d407c17badb716455f99ba08 Enabled NumMaxInt TypeMismatch
5ad2e8f6cc4061d5454c9dcc62b1642f465a62c6 Enabled NumUnaryMinus TypeMismatch
12d64126f34168f062ece270106abab976c92ec6 Enabled NumUnaryMinus TypeMismatch
5981dd244401734c9ca667e953746556f7a45ce2 Enabled NumPlus TypeMismatch
b1c81fbae1260a68edc35fc6f81f7ad28908df4a Enabled NumPlus TypeMismatch
3f23f74462bae6990dce6cc0f41684244ca71739 Enabled NumMinus TypeMismatch
a1dccd8f032a7afba43ef72f4bef4f0fd66621c1 Enabled NumMinus TypeMismatch
34b5bc3e1bdf6a1df0c4f051829eb603ba78d18d Enabled NumMul TypeMismatch
682a6fb6abe9f335981aa2e1d2cacedecdd27b4f Enabled NumMul TypeMismatch
6f48f58974063d803d4e8f6ad8af6ff1d7bfd572 Enabled NumDiv TypeMismatch
47acbb4f96d609356a8f79f6371b2fe152eed2a1 Enabled NumDiv TypeMismatch
092357294bbf5a77fe547c537308dc3d6e553872 Enabled NumMod TypeMismatch
3a5ed6a63162b12fcfeecad72d79bd4f3a2976e5 Enabled NumMod TypeMismatch
5f887486080e4b63f8a61f0e8a8ac5f99b9a0a2a Enabled NumPow TypeMismatch
6d127caee1ec4dbaed3abc576067e458895759ae Enabled NumPow TypeMismatch
e5322ec9e28d644ccd25f50b92b5fa959fe9cb92 Enabled DefFun TypeMismatch
7b5bc92bb7bfd7ee8418643fc49c7afefff68eb5 Enabled DefFun TypeMismatch
33a293fb64678121673545fa3d37e6ee6aa23458 Enabled LetDefFun TypeMismatch
d8ad121da583ca433d68fd14d9dd18532b1edc7b Enabled LetDefFun TypeMismatch
2a7c394dd4ea21a875b5aa42aacf1383a094b8e4 Enabled DefFunRecursive TypeMismatch
96eb71accea7176a56046bdd7d11356883abe2c8 Enabled DefFunRecursive TypeMismatch
605ecb967d8dc852e4b7979d35650697ce7351f1 Enabled LetDefFunRecursive TypeMismatch
c04e8afb6cee9aba1e1fbdb0c9a605b5741102a4 Enabled LetDefFunRecursive TypeMismatch
01fd04af0f4ee9744341078c9d7bf117795903c8 Enabled DefFunInDef AlreadyCombined
48632f4ff63ddbdf7acee1d2ebd06550caf2d2ae Enabled DefFunInDef AlreadyCombined
e8be5290391103f7abfcc4e325aa9b536912d09e Enabled LetDefFunInDef AlreadyCombined
d0aeabebad99e3312dcc6634e848ed79a5c941cb Enabled LetDefFunInDef AlreadyCombined
03735a9d329ab0f99856cc674bc589d707da6269 Enabled VariableViewExclude VariableExcludedFromView
9e8b4aec5593b5a92821daef7567a194c3acaf62 Enabled VariableViewExclude VariableExcludedFromView
f530df3962765e169c3ac588ab5811bc9d058548 Enabled ConstantModelValue ModelValueCanNotBeUsed
7238ee0c98c70362e3191efb51d09f878c8d317d Enabled ConstantModelValue ModelValueCanNotBeUsed
96568913cf3a81082fb8234513070178e58e1acd Enabled Assume AssumeIsNotEmbeddable
8109d600d24b911e0d291bd13cc2bd34cc86d0b5 Enabled Assume AssumeIsNotEmbeddable
63c373578bb6a9e1becfb976f06b2e1c1f452a28 Enabled AssumeNamed AssumeIsNotEmbeddable
283da677a322da39c7f1f9b3973dd9dd9a8dd742 Enabled AssumeNamed AssumeIsNotEmbeddable
4670ec70ccc464e90bc1f5b3eb10a68219118bc4 Enabled Lambda TypeMismatch
31026489b2ca3591908d78f664c0875ec07f6ac4 Enabled Lambda TypeMismatch
b3007aa639ff65e51a84747ecedf3ab8dec9d07e Enabled Cross2 TypeMismatch
f57b0e43492a8273f9657cb73bda38ea6657f1ec Enabled Cross2 TypeMismatch
4a4b2ae6a53cbfc0d2ba1b209320fd7f57e74c73 Enabled Cross3 TypeMismatch
08a67276b6134e0c9a36d61ad7afc0c93dd23a2f Enabled Cross3 TypeMismatch
ff16b941db14d997608721138e8817e1a72c98db Enabled FunSet TypeMismatch
5bb261f77d503b8bed8e1082b7190ed7084b909a Enabled FunSet TypeMismatch
a29f652b944a3e1edc83575f4099ce3173dd0aa0 Enabled RecordSet TypeMismatch
089f4a6ab3107e3c34a252b7007ffeef598781ed Enabled RecordSet TypeMismatch
defe3dadb5b74d36e7aa7dd37adaad77363f42d0 Enabled SetDiff TypeMismatch
a349a8e88ee5f908058ba230f3d6be6ccad758a2 Enabled SetDiff TypeMismatch
20bd4f9ea0f1b255f410a6c9503715b1188e1bb3 Enabled SetUnion TypeMismatch
3ed57b78626bd9f1c6ea66954bd6abe8c1b6bea2 Enabled SetUnion TypeMismatch
4ffe89e6378069ae4ac8729ba6c3c2e6f4539757 Enabled SetIntersect TypeMismatch
686697d0a0b6e5c119f1e6dc65be9320f6bd348a Enabled SetIntersect TypeMismatch
ad8e978d39496fdeb1f38238e28e850e038b9b08 Enabled Subset TypeMismatch
8f9d29a8cbb9826de1e8ae0cf95d4dff1aa45139 Enabled Subset TypeMismatch
17c8750781d2bafcf34bfcd1f2573f1a76ec4320 Enabled Domain TypeMismatch
091d7371f3d6bcb34dd716826ba47831fa5b1871 Enabled Domain TypeMismatch
fe3cb61f83e8ff7337e9e7cb65e6cd6395cc23ee Enabled Union TypeMismatch
2a9a9d2453e3c58501125168ac4d5fa0f67e3057 Enabled Union TypeMismatch
764925dc5cf039ea30e46b268148f6b3dd03fafe Enabled StringEmpty TypeMismatch
c78def8764408039010698647a9060383edaac05 Enabled StringEmpty TypeMismatch
de0602c4618b3974b426f594f85afb696ca0d3c8 Enabled String TypeMismatch
a4bffe4472bbbaf1d584c8c99c1ebf7a5c40b68f Enabled String TypeMismatch
e5ec27daf1fe591c6f9defe243edbf6c49c7f335 Enabled SeqLen TypeMismatch
a0e7a952cfbd43211bb79b7d9469f2ee0a08fc28 Enabled SeqLen TypeMismatch
8f68ef0bd86e920274f5f22a9c97a5fb2353749c Enabled SeqConcat TypeMismatch
59ffdfb906b48702129e56faa4520a5111b7d80b Enabled SeqConcat TypeMismatch
7ec52837ec813384a7e76b04cbc393d0c655a97b Enabled SeqSeq TypeMismatch
fbcab862defc5be842f73aa23189646133393b20 Enabled SeqSeq TypeMismatch
05443706a280c7d973629a95f0a9ce9ada0b45f8 Enabled NatSet TypeMismatch
44b51556bb03252372361ccac245e04548fbb2e1 Enabled NatSet TypeMismatch
6784e8a9677213ea3a810db360d0bb17684db2be Enabled IntSet TypeMismatch
b1d4f6249bb21c985387cd60225e6877c0458b5c Enabled IntSet TypeMismatch
891894995d8df40b7a7d4da198bb13bf71fed629 Enabled StringSet TypeMismatch
9301200f8a525053d984efae50a43435b20f4682 Enabled StringSet TypeMismatch
cda574160410c0d1c1031e10991da44f7b576c9a Enabled SeqSelectSeq TypeMismatch
024d31d447d3a7f5cd83d24a93ce7a4f91df67d1 Enabled SeqSelectSeq TypeMismatch
d18d50c602215e2fbbf7f0d4638dc51cdc067a4a Enabled SeqSubSeq TypeMismatch
dbb0cfba40853c418ae944e0c5508554eef0e86e Enabled SeqSubSeq TypeMismatch
5fc2db67cca7255e713d376daca0fc614a259feb Enabled NumRange TypeMismatch
49b0cf6a5922884fb5269269bae4bb166b7b3218 Enabled NumRange TypeMismatch
4e4d496db9908f2c85e5f07bc0f238721111c398 Enabled TlcSingletonFun TypeMismatch
98a5b1c364841f8abbeb0bbb4fcd703ca605e733 Enabled TlcSingletonFun TypeMismatch
da05d078ac49d56d9a0dab057852b7cd4d327915 Enabled TlcExtendFun TypeMismatch
fc841db75b517f1ca0dab62acd802745acff592c Enabled TlcExtendFun TypeMismatch
48638c124505f61186581a2f02135aa3e2999f7e Enabled TlcPermuteFun TypeMismatch
4450584713106c6faad4174307fcaf31cee7a47e Enabled TlcPermuteFun TypeMismatch
3c1a65f18071869324a45f6799d83b7a5a017504 Enabled TlcSortSeq TypeMismatch
12e1a78f9f2d7c4ecc8bb20e246caeb14fa8924a Enabled TlcSortSeq TypeMismatch
f5b086cb0f8a7f097ba4f545cee74039f7b48011 Enabled BagBagToSet TypeMismatch
c48242dd6fa9e830a2333ee17a6c575ccc25bb89 Enabled BagBagToSet TypeMismatch
bef6e4733d417af516d8480d7f7967ef929dff1d Enabled BagSetToBag TypeMismatch
1eba7103c406133f014aef48e2378f3fdf6581d8 Enabled BagSetToBag TypeMismatch
4d7c1cf179235d14880dffa5b40faf0c7ed4971d Enabled BagEmptyBag TypeMismatch
726378d726b89d18ffe3ee80ff6252135edc3ba8 Enabled BagEmptyBag TypeMismatch
462220c8b3ddae5375cfe8463ae6da80412c542e Enabled BagAddBag TypeMismatch
d64d89340bdf54e34563196e0c3a06d1dbcf908c Enabled BagAddBag TypeMismatch
5b013a6e2d1c41bcf64b975eb887a08b1931a6c0 Enabled BagBagSub TypeMismatch
9cbb2f66bc1df61cdc30880bbee156561d438a03 Enabled BagBagSub TypeMismatch
f2035ec22a65a984f7619aa3fd20def18cd2038b Enabled BagCopiesIn TypeMismatch
6ab6b9eee3b91c0abbfc3e8ec9f387cf870b7517 Enabled BagCopiesIn TypeMismatch
d12aa8d4ee8b68cfd583e06b5e32f8f9aae5a936 Enabled BagBagUnion TypeMismatch
6e7d69889c4f11d12b0f18739efcfa013eb4e0b5 Enabled BagBagUnion TypeMismatch
d0e9622aa7bd3ad7c52b415491187eaef1d2fa0f Enabled BagBagCardinality TypeMismatch
ebec3da1f7d3068df4f30acd592bec8251f6da72 Enabled BagBagCardinality TypeMismatch
b9240ea1468271c65c92a52c0305bbd1be455971 Enabled BagBagOfAll TypeMismatch
ff51bde051867c1166cbaf402f8a5bc0f911052c Enabled BagBagOfAll TypeMismatch
1fed962e0f01528f1b898da3b801d3cb94b3fee3 Enabled BagSubBag TypeMismatch
61e4a1a51143ca02d41f6a5e22f855642a34b42d Enabled BagSubBag TypeMismatch
0246f3899cf0048ec10ba877816afa8ff56a439d Enabled FiniteSetsCardinality TypeMismatch
8ca3f8b0f3b9e8a6534e50ec9493e8f450238c0a Enabled FiniteSetsCardinality TypeMismatch
4fc439dd8e4fe1f758c82b2934019b480597a51d Enabled SeqTail TypeMismatch
b4bc5f66619af5c6a95514aec9e6dfd9e71419d8 Enabled SeqTail TypeMismatch
14a2d18a0fdff0faf0e9eb341eac3dd757244846 Enabled SeqAppend TypeMismatch
82cb79327c0428f4059633286a36b611255507f5 Enabled SeqAppend TypeMismatch