Index

Skipped feature combinations by plug feature Prime

Id Case Feature Plug Feature Skip Reason
7138d331c7006dba9c546ad5e6e19e732ae87c5d OneLineComment Prime CanNotBeCase
ba7d182974a8f7b112d5696297805adfb7f6be73 OneLineComment Prime CanNotBeCase
cd8f1de32bcfa23317dfadbe3535dcd2c89062cd MultiLineComment Prime CanNotBeCase
f606f972211949e7429a9549b89af55dafac0fb1 MultiLineComment Prime CanNotBeCase
08c0327d3797def9fe0503c60ccbb336ca96bb5c BoolTrue Prime CanNotBeCase
88d2d06081253ae0bfe89af743f88fe18e810682 BoolTrue Prime CanNotBeCase
a5bf0917399ac6efd7d1b77e78bd3645960b39ec BoolFalse Prime CanNotBeCase
85975ba6c55b52f7c97b0d2fdaa9e0571a5d7d51 BoolFalse Prime CanNotBeCase
b4b623886fb03fea414c0a2d5482c050c29e900a BoolSet Prime CanNotBeCase
647209d0796f15b51bc7057648d538dd0a8bb591 BoolSet Prime CanNotBeCase
4098cd9cde5af7b9cd5b78b189374ceb97616c5d AndProp Prime KindMismatch
be9d15977a7e42b2c018c8fe778289ccf4115e02 AndProp Prime KindMismatch
5cb5843191af2dfa6b2584c5d7f43956dd875528 SetEmpty Prime CanNotBeCase
f11a5597b7c58b5222668e565013a8443fbc5af2 SetEmpty Prime CanNotBeCase
8e50caa6dccb8f6e21a9b601e19c92f14e22f45f Set1InDef Prime TypeMismatch
784aea0a4645352f8f783524f92fa82df510853e Set1InDef Prime TypeMismatch
c3c8cc35131a5ef2ebec266dbbdf314317d03a5d Set2InDef Prime TypeMismatch
42f4a91ce014c65311ed4a5e0cd0ac183302e7ca Set2InDef Prime TypeMismatch
41b4154e4c902ea4a6ba5d2b8ee667906eefa6d0 InDef0 Prime KindMismatch
2e404fb152083428280bd136123c36fd295dd50d InDef0 Prime KindMismatch
a4dd001b9af068239d4ed23758e6c3865f3511b3 InDef1 Prime KindMismatch
40a9d661c06749fb6344916f9f52399c8861e753 InDef1 Prime KindMismatch
eed56a6a67db33da89c35a3a7df454dba116962a InDef2 Prime KindMismatch
3253331909fcdd15dade0d73c4cafa065f807d5b InDef2 Prime KindMismatch
9342fcbfb261349d1b49d2e8d2b46f43305e2527 FunInDef Prime TypeMismatch
131e515e3f8e4963cc2233674e012b9d5b3250bb FunInDef Prime TypeMismatch
d17c2be0ed7e4252815a099bdc86bf2a618d94ad ExistsInDef Prime TypeMismatch
b58124be52eef2ab8a2552a31dd1b0ff95ef4906 ExistsInDef Prime TypeMismatch
79e9a50165e489db53321738168ec22841b295c6 ForallInDef Prime TypeMismatch
26b1b71089ae8c994abe9f4756883b0e58f99d80 ForallInDef Prime TypeMismatch
8cf59fd388f8eaa1b1823e3d687fb38a78c52e32 ChooseInDef Prime TypeMismatch
2b64fc048a6dbbfb3e8fa40d90bfdccf2e9667d1 ChooseInDef Prime TypeMismatch
c75243f184a2c600fbc99043a1bb3cd5075dda2d TupleEmpty Prime CanNotBeCase
6d18d8300ebb04bd3cdf0e5f29d26169b556f916 TupleEmpty Prime CanNotBeCase
e7a97557fa3440f2c62b287a0ccf1323314290fc Prime Prime KindMismatch
5b5dcde6cb00dfbbedc8ebeaa522845484e7bde7 Prime Prime KindMismatch
0a1de014135fea0579f7d4e84c1deca8cbc51448 NumZero Prime CanNotBeCase
a5973e930d8e791461b0332e72756613660ffd59 NumZero Prime CanNotBeCase
d7b3cd356a6dd61b82f3b76639f156eefb540b73 NumOne Prime CanNotBeCase
d53eb132af177c23e7055213d7f94777dbc797ef NumOne Prime CanNotBeCase
1f53fe4a94fc963f9b95d73c911c746297fbddc7 NumMaxInt Prime CanNotBeCase
fd68e72917080e568c76eeac51ddf7a91bae9630 NumMaxInt Prime CanNotBeCase
c461b6e2e869e0a9447cf6ea9cc493fb700d5cdb DefFunInDef Prime TypeMismatch
6f9f2191f262bc3e1a71f1f0d4d98ce9e68aee2e DefFunInDef Prime TypeMismatch
6bc739a1adba7d220767c04e2d2e447d9096abd0 LetDefFunInDef Prime TypeMismatch
872dd8afd1ed5693adbf272b1c30ffe5451984ac LetDefFunInDef Prime TypeMismatch
272e02d7b5e4d5a9123d38a14735c86c93587b1e Constant Prime KindMismatch
4647e0d72f47f5fa83f1d41a127d218231ac5273 Constant Prime KindMismatch
d9d6d312fbf0aa025b82ffce0a2f5830d51cec3c ConstantModelValue Prime KindMismatch
5be484b661ec8d74fc6561647bf4bf939da248b2 ConstantModelValue Prime KindMismatch
ae6fb27ff97b4c1ef66fa310786448e400e9ec24 ConstantRank1 Prime KindMismatch
6a60efc55e1b7e13998342b0fca7b47bb41b1395 ConstantRank1 Prime KindMismatch
d01370ef767ebcf32bc117a6b51a41ae2929ded1 Assume Prime KindMismatch
a2307b6f1c238eb2a87f88ecd668f8410224ed0a Assume Prime KindMismatch
9936925adb876a8b9fdafee8eebe4aeeb25a8619 AssumeNamed Prime KindMismatch
998c23ea1609e79e9926eb58834ba085b0d94343 AssumeNamed Prime KindMismatch
3f84cd936ef6a6a8bf93d233d55befd5305b0955 Unchanged Prime KindMismatch
f1f66b438f6dd73209ffdd33ec3b59a30b026532 Unchanged Prime KindMismatch
1131f253a093fdae12fcab8d87d979b2af2f7370 StringEmpty Prime CanNotBeCase
a3be3d6a1d87ef9227d0d784650ee46169e518aa StringEmpty Prime CanNotBeCase
ba9544708d1f2827ef3be8fe6e538d4c759cfc67 String Prime CanNotBeCase
e5882ffb17768c157dd4a0f9f5addba4e579175c String Prime CanNotBeCase
c41ff9df78f06f613936365f489f702972beb96c NatSet Prime CanNotBeCase
334fba06d4d075527704c6e02011ef9adc190360 NatSet Prime CanNotBeCase
2fbb5e271c2cbc08a2a1fd341769270f28ba82a8 IntSet Prime CanNotBeCase
44c1e2957c7a2672a2fc5b29fbe220eb8ea14316 IntSet Prime CanNotBeCase
fcb3f8121538452000dcfc6db61db1e74c014fba StringSet Prime CanNotBeCase
227cce8c2bed3916795774e55fd400d906f26eb5 StringSet Prime CanNotBeCase
350251b6b49f0967c8b5b11084898c7d8d639b79 BagEmptyBag Prime CanNotBeCase
05d6114e1a053686c57f3c092568a07caf6a846d BagEmptyBag Prime CanNotBeCase