Index

Skipped feature combinations by plug feature BoolSet

Id Case Feature Plug Feature Skip Reason
71e0d7afa25ef98985653d31ac96aec0d2a6fb2c OneLineComment BoolSet CanNotBeCase
aed0b7b1bf87ba8f31c88ac4a95396d727d83ea6 OneLineComment BoolSet CanNotBeCase
fa007fdabd67dc81a23c18483dcc9b3fa69cc816 MultiLineComment BoolSet CanNotBeCase
aa39e2654d87717dae8227813a67729ae3b97517 MultiLineComment BoolSet CanNotBeCase
d048cd8dfdf5b38dd184a78b8bde78fbdb7cc24c BoolTrue BoolSet TypeMismatch
a086597ff838065cac733e52e66dc7b6f730452e BoolTrue BoolSet TypeMismatch
965cf5d94e6a00f4d139d3d69e44580168a81965 BoolFalse BoolSet TypeMismatch
30186a1f8c071382aabf5989cfc0830998145f58 BoolFalse BoolSet TypeMismatch
3eb9e0ec824fba950e0bbeecd66e9393bd3963d0 BoolSet BoolSet CanNotBeCase
07e00c94615b3a602c69a2cdf5362938ebc4e2d7 BoolSet BoolSet CanNotBeCase
593e7c3a941aeb8175fe5bd69ffb9639f2f7c845 And BoolSet TypeMismatch
e204180a2178bbba150caf58d07a00d92e3dcbfd And BoolSet TypeMismatch
a841dabd33259095a526161249aa74724bf11a0c AndMultiLine BoolSet TypeMismatch
e3ae730bec98655a1e5345168c3b22c651c7bd07 AndMultiLine BoolSet TypeMismatch
e998ddc89327c8962e7612b6e899a4333d5d45c3 Imply BoolSet TypeMismatch
9e6cc5f4746d2a11a7df4c8805f9da2abf77e260 Imply BoolSet TypeMismatch
7c8b59c992161541566d1a86e425317780ea1b61 Not BoolSet TypeMismatch
a44fc5e282ac806f97ef5a1d999fdbd794b5c1ea Not BoolSet TypeMismatch
349fa1ca10c272e2424a85ab5f7e6448898495ae Or BoolSet TypeMismatch
5160cfbe4aef80f5fb919a95e816a1983cecab97 Or BoolSet TypeMismatch
5b4b2fbbbbd13e56f5323c392db70f201dd45716 OrMultiLine BoolSet TypeMismatch
09c4bf2c022788c5d4f996725b997e40f7be4cac OrMultiLine BoolSet TypeMismatch
a4df81b32b2b2c398112ff74f6f6c0eb90c42d73 AndProp BoolSet TypeMismatch
aeca9f69d41d380db14b36c09476167fcac20e17 AndProp BoolSet TypeMismatch
ae91df1422df126c181aa6a6612fc6efa577267e Boxed BoolSet TypeMismatch
5dc6c519a295d659342640ef521bfcf24051a1af Boxed BoolSet TypeMismatch
546ec9affc8f410eb8ad807a24072091b1bccd07 SetEmpty BoolSet CanNotBeCase
1daa9aba5b21b1cf400ab6e23afa0b6b84a9170e SetEmpty BoolSet CanNotBeCase
d6eff20fb5a2fa09b0d8b8db6a8a58e87a652a42 Set1InDef BoolSet TypeMismatch
e931320a41c8be226928b4d5d2d2ed30645b6f91 Set1InDef BoolSet TypeMismatch
8a120d5b42a2d9ea19d3db503e41de7a7f2bb491 Set2InDef BoolSet TypeMismatch
871adffcb3b4a72ef8b468f3d16673075be0a15b Set2InDef BoolSet TypeMismatch
7d932c29bd0bcc696cb5d29724b892159fe9f01a InDef0 BoolSet CanNotBeCase
9729be83c6dc0fcc2e67289cbd43ece57d20e997 InDef0 BoolSet CanNotBeCase
3150d9a0b6a8fa52f73115dcb2928cb28e75b01d InDef1 BoolSet CanNotBeCase
a075de82f67bf9d673b8552651f4ca42edea23f7 InDef1 BoolSet CanNotBeCase
b0b11a2ad6f6552ff3839e88892d9bccc5e76460 InDef2 BoolSet CanNotBeCase
5064248a3915ec18b53a2a5d99b127f35dd92e4b InDef2 BoolSet CanNotBeCase
d42a1df862cb592fe061d82e07f062547fc549d9 FunInDef BoolSet TypeMismatch
5160af9c9fd94851e05c1ae8fc0463a3252d84a5 FunInDef BoolSet TypeMismatch
f191497550617bed51454902018e4b4a6a4e64f3 Exists BoolSet TypeMismatch
a503376f27b3e153f44240f1ae5bfd2ab6348b07 Exists BoolSet TypeMismatch
60517b4975d484d598e4c23f0f898b64801795d0 Forall BoolSet TypeMismatch
26e9f83403129e0efd19439de515fa6c182a0092 Forall BoolSet TypeMismatch
494f226d4494e0d956f09735df464570fb5f0d24 ExistsInDef BoolSet TypeMismatch
ae7d797b98a1a696b909355d90fef9ede5147d4f ExistsInDef BoolSet TypeMismatch
5702a569b70e690b4db9ee3da236fcc988accf9a ForallInDef BoolSet TypeMismatch
e2c1f0add0ec7ec3ca452a65f2ab907d8bd42576 ForallInDef BoolSet TypeMismatch
07dbc140c525d0208fccf9003fafc47a5dd2f3a3 Choose BoolSet TypeMismatch
f5867c4b2b4516805cc463c64dcf5be0c88578e4 Choose BoolSet TypeMismatch
9f547685c37efe0084aac6d42cdd525cea5fcbe6 ChooseInDef BoolSet TypeMismatch
69d854fe31d4ff4ef4c1e4c0d2e9b2ef75ed96ed ChooseInDef BoolSet TypeMismatch
c096caa97dca1d5400eb8d8a430b17c02f87f2dd TupleEmpty BoolSet CanNotBeCase
467b6c7a7a45d8e49d1b4cc71f139bd71887fb69 TupleEmpty BoolSet CanNotBeCase
e5dd02326e47f4131a041b0fffbf6e9c346e26c3 Except0 BoolSet TypeMismatch
b5df894db01898d4a8e8a6ab9bec2face69f9da9 Except0 BoolSet TypeMismatch
4bbe154b150af65de51ddc415384c2fe6c79a16a Except2FunTuple BoolSet TypeMismatch
753424df44ca75553c282f1d259752692f5649c2 Except2FunTuple BoolSet TypeMismatch
90632717a8ec9a09902446000601dcbfaff062bf NumZero BoolSet TypeMismatch
cb4b9c5bbda9a88b1971486178f663c10a709cc1 NumZero BoolSet TypeMismatch
a5f7fd2bdd82480bb1962c3bc0a65d337c356937 NumOne BoolSet TypeMismatch
902e3d74c5603018f8b236e4e7491e1e4a6a3135 NumOne BoolSet TypeMismatch
c5f890430609186f265679dd458bb1e1d632f66a NumMaxInt BoolSet TypeMismatch
5eb8ad9e9b09b9904b219664268524bd4e0945eb NumMaxInt BoolSet TypeMismatch
f63dba2c513698af2402a413c777101aa4ec68f4 NumUnaryMinus BoolSet TypeMismatch
0283e79fb04bd9a4607abf864a3cd37d4262b1ba NumUnaryMinus BoolSet TypeMismatch
5c719e2fd60981a11ab4df8b34b0edc2c420375c NumPlus BoolSet TypeMismatch
1a040825f1b5051fbbb263da213f16145b73073e NumPlus BoolSet TypeMismatch
ba269f3b841034b738be7ef07af7101383f4673a NumMinus BoolSet TypeMismatch
64c741b515eb33ea09505d9d80713f0a5ac19ac8 NumMinus BoolSet TypeMismatch
0f3e7e9641fe7bb419ac02e2433a6d2f5f0bf885 NumMul BoolSet TypeMismatch
d41c33e9aa89bc147c7148dafb65aad3dab6205d NumMul BoolSet TypeMismatch
b39cf5b3d340ed4d0ff10f3464266803eb62f7bb NumDiv BoolSet TypeMismatch
1396d0fb92d3c6a9bcf024b274feac347d4594e5 NumDiv BoolSet TypeMismatch
5226dce777d5e187f4eaed651411113ac55535dc NumMod BoolSet TypeMismatch
2526dd576885900cddc3048101809eb9bbe21eb9 NumMod BoolSet TypeMismatch
4a80ab534bd047f8f2d6af31e3ea321a1f93f734 NumPow BoolSet TypeMismatch
120b4a71644548f65e24d51a880c086f2b28b9fc NumPow BoolSet TypeMismatch
0e8cbd593d3f47c6995005c2f8a67dd8a4ee0533 NumGt BoolSet TypeMismatch
ae13a3ab94d8e92ab1de0bd9ad68fb7fa139b7cf NumGt BoolSet TypeMismatch
c89c53d789976aec0ad8511aef1bc61026d39e6e NumGe BoolSet TypeMismatch
427629a069bdff7d83746fcf590ccd9ae619c1f0 NumGe BoolSet TypeMismatch
0fe1865b7d32626d98518a2b952ec1671648a4b7 NumLt BoolSet TypeMismatch
ec531e06324bf55d09e0f5775930bca41fdad2a9 NumLt BoolSet TypeMismatch
2434f2bac8d25383b6cfd251ab152ffb9635dab0 NumLe BoolSet TypeMismatch
ef33a173cf4866dc69881e577f05fde587f734c0 NumLe BoolSet TypeMismatch
2d29233cabcf04b458301a83df4aa712d6c0ebe7 DefFunInDef BoolSet TypeMismatch
c869cff12c62505f048460432234e7b6ccfa2d01 DefFunInDef BoolSet TypeMismatch
7478c2eed32afd292d69bfaa255401f2473acd5b LetDefFunInDef BoolSet TypeMismatch
0d94636099a70e60798243b8bb340f287cf2511a LetDefFunInDef BoolSet TypeMismatch
83b1109527240de1e4d554a6af8d69a1c470944b ConstantModelValue BoolSet CanNotBeCase
43cb548ccdaed891259f5841304a357fe5f61338 ConstantModelValue BoolSet CanNotBeCase
09fcc5674879f5f67e1267ccd6be86b4932fc818 Enabled BoolSet TypeMismatch
c20853624091685b68ec2221948ae6c762a3684b Enabled BoolSet TypeMismatch
1e55c5c5292b0f97d9c0aa98f520c3abb040494e Assume BoolSet TypeMismatch
7cd1949b65bdb2bdee177150398b988926c3e4e8 Assume BoolSet TypeMismatch
7cfc4f1807abb3076d0308b59d01608f605dfbe3 AssumeNamed BoolSet TypeMismatch
79eb581f02e0f9a4b176c941ea1306a916e037ce AssumeNamed BoolSet TypeMismatch
c54fe2f19738ac10fc66b55f8035a1124a6b70b4 IfCond BoolSet TypeMismatch
246b8224a6a4a643cb281f492a64e54a4086d601 IfCond BoolSet TypeMismatch
a59a006090f48a9a695ea91f6ffb81ab615acf8d Domain BoolSet TypeMismatch
2253fef8be9544a29f6af8a2580f7d5b76394227 Domain BoolSet TypeMismatch
d6b20640a282246c95665f94fab793dc39fce2d4 Union BoolSet TypeMismatch
efeb8d9132a2b873df75bcfe3352e2ad9f1367c3 Union BoolSet TypeMismatch
db9ef968ef1804a3078cda7988f4cfa89c266e8d Equivalence BoolSet TypeMismatch
efe6ba7c1538f564cc90b13286ab5fb4d3581f4e Equivalence BoolSet TypeMismatch
e8f0c27edf56da0f568b0657625c4863738f3749 StringEmpty BoolSet TypeMismatch
a9f9adf5adece3ce9da21eb1a1f7a56d25cd2693 StringEmpty BoolSet TypeMismatch
6a54e594612f3be4cd338d72d314e62340e42ba3 String BoolSet TypeMismatch
93de726f4981430d14c963e0c1281e726c417ca7 String BoolSet TypeMismatch
efcb46ab70a0f1f6300d4a404d8adc1a37e46578 SeqLen BoolSet TypeMismatch
18331efc8abb994e5125741618d9882b81d122a7 SeqLen BoolSet TypeMismatch
52c2f43a001af9c327742b8d17873f1abd1152c7 SeqConcat BoolSet TypeMismatch
66747cfc385cd8a521f19ab6e8b8ae5d782d4fae SeqConcat BoolSet TypeMismatch
9b8c33bfb174df91252e3f2e2885a108dd969bfe NatSet BoolSet CanNotBeCase
842acea5dcbe265a13d87e7c3935a6bf49dcc953 NatSet BoolSet CanNotBeCase
a6224dc7a7f30fda6d0eef52d11227073b0ac123 IntSet BoolSet CanNotBeCase
9e2420ac7aacd115c9a8adb9aa6aa504e22033bf IntSet BoolSet CanNotBeCase
311170a66069313cce28c521ba464eb1631fcf4b StringSet BoolSet CanNotBeCase
61a9cb51a55958226781b9259786ff015e725fd5 StringSet BoolSet CanNotBeCase
6f7eca6f0bd557883545bc4f87998fdfcddba6e8 SeqSelectSeq BoolSet TypeMismatch
9ed40a5baea1b9b45dbe9dcefe3e7288798f5b64 SeqSelectSeq BoolSet TypeMismatch
b5fd8c69f731ac485afa7efbd33c982fd1031f59 SeqSubSeq BoolSet TypeMismatch
340aea76d6cb2a131b9d9a65c3e20a9ef1095ac6 SeqSubSeq BoolSet TypeMismatch
4259e2d09c93fff76387991751376d8f2b1d9147 NumRange BoolSet TypeMismatch
348b00ac26862ba1c030aa8255c3c9b573048fdb NumRange BoolSet TypeMismatch
c43d47c2f6508ff55e0ae4eda557cea330c4aaa9 TlcExtendFun BoolSet TypeMismatch
6e0baec1039448817618f3d36f97b56961b2078b TlcExtendFun BoolSet TypeMismatch
eccc9e871b39f4491fc2b99835a600e918f443ca TlcSortSeq BoolSet TypeMismatch
f8057132611f36ed3678db71bf020e4781b3b5dc TlcSortSeq BoolSet TypeMismatch
4944564c4db798e22e5f748019a5e2ec25a35cbc BagBagToSet BoolSet TypeMismatch
deed7a751ecbfbc123b56fb56a99a5e380ae5554 BagBagToSet BoolSet TypeMismatch
0b2cc0a20bf2268e1397db4e958e3cd91fab2ba8 BagEmptyBag BoolSet CanNotBeCase
30d6f71ab1f247cb43f41afe1cc081f872becd43 BagEmptyBag BoolSet CanNotBeCase
18ebade58090978df6a1d82fb2104d964b279648 BagAddBag BoolSet TypeMismatch
365d096e8b14f8174440c604d6110af491cdf41f BagAddBag BoolSet TypeMismatch
6a1b6b7eed326ed0d09d54518ac5ec3713be4bb5 BagBagSub BoolSet TypeMismatch
bcc864c463a07df4af70e8c4737513b1273ab80d BagBagSub BoolSet TypeMismatch
c308a03973c35ef2ff9dbf75066d196274e2f48a BagSubsetEqBag BoolSet TypeMismatch
39c0cba8693d4adc8eeec6d2f1e912e778ef40b7 BagSubsetEqBag BoolSet TypeMismatch
64fd24dc49bf9feed4354da33952e3505e9c23de BagBagUnion BoolSet TypeMismatch
5f64759dbd19353b8f5919ecd6e53e1143dfde69 BagBagUnion BoolSet TypeMismatch
1493779b4536139fad533023d4d648322c20b1ce BagBagCardinality BoolSet TypeMismatch
b1343a3221d3281c4075dfb22b2dd426f83f78be BagBagCardinality BoolSet TypeMismatch
ec47fd024e0d8250274b2d7aa7bff71e76799ff7 BagBagOfAll BoolSet TypeMismatch
68c6142627e90af55dc1ce6891c1dadeaa9ba860 BagBagOfAll BoolSet TypeMismatch
5457b00e7d105b2de07c4a2a19b1fa2cc66a5604 BagSubBag BoolSet TypeMismatch
f15bbf4a248bced17d046c448861be028568db4f BagSubBag BoolSet TypeMismatch
e48e03b206a6ae72f38aeffd965e3a69fe5f8cf9 SeqHead BoolSet TypeMismatch
f45f5d6ac6e4c1761b96cef2da0648352ac02519 SeqHead BoolSet TypeMismatch
bb283a9cbd0cc823abb76abefa975da4aee65bd3 SeqTail BoolSet TypeMismatch
68968eb093862338231d4358bca9f2d08d6019cb SeqTail BoolSet TypeMismatch