Index

Skipped feature combinations by plug feature SetEmpty

Id Case Feature Plug Feature Skip Reason
f8dab29d7c7f9b44cad61c4754049da01c784a9c OneLineComment SetEmpty CanNotBeCase
f6516e04b423e247ab9acbf7021c14cdd9268c9a OneLineComment SetEmpty CanNotBeCase
3476176e4cac6de666f87a6eba479a119710a482 MultiLineComment SetEmpty CanNotBeCase
d5c3d9dbb1fa19f0ed02c87e547699311fe9e004 MultiLineComment SetEmpty CanNotBeCase
2789ea7e35cdf2064b4af4a10b738c576623faeb BoolTrue SetEmpty TypeMismatch
9b028449a4f3d56ef23cd990a0407521796ee57e BoolTrue SetEmpty TypeMismatch
0ebcc6e9d7ba06158b40ce96bf0d9b04ee55606b BoolFalse SetEmpty TypeMismatch
6a19afa919fb43a71accbc8adfb28bd07c066d81 BoolFalse SetEmpty TypeMismatch
258162ad5b1bd4cb56fe4593f4ef70b0fccf4dfb BoolSet SetEmpty CanNotBeCase
093e072de8fea66670aaaa9e8e00aa175ea1faa0 BoolSet SetEmpty CanNotBeCase
569aafc1f2f3f77179af4537984f6cede2474549 And SetEmpty TypeMismatch
c0ebdb35f3a4967490504b3119e9a001ca48c4fb And SetEmpty TypeMismatch
f50ad70fb9e0fca56f00410eaa1c333926db90c1 AndMultiLine SetEmpty TypeMismatch
9f829e224ba1f53ad784519872a4a362471efb48 AndMultiLine SetEmpty TypeMismatch
c5d8cca095f0cc1530226827b0a4f757cd8d1b63 Imply SetEmpty TypeMismatch
1379efce2de69144faab8963af6ab27a37209727 Imply SetEmpty TypeMismatch
04751ee95f1759e2c079d4a217e13f292e82f982 Not SetEmpty TypeMismatch
f4a623d5c7844bbbeb5c473f88f9b6de7c9c8ade Not SetEmpty TypeMismatch
cc2fc77eee2cbbe60bd0f856ea794bf6517cce80 Or SetEmpty TypeMismatch
015e1efb1b9b8317df7931e5b147a14f459af576 Or SetEmpty TypeMismatch
ab5b537979e07dad6d583d2a26852beff9ae6869 OrMultiLine SetEmpty TypeMismatch
cc6c470b180daeb9f8e12e7ddaee402e6089b99b OrMultiLine SetEmpty TypeMismatch
5dcaa4af7836f91aaa121c40b2461224489f5435 AndProp SetEmpty TypeMismatch
c40fc4a2dbb30b25f4a1b22b09670c2d13f4947b AndProp SetEmpty TypeMismatch
b0fc9b6bc4d20a60d1b267b188ddc50bd33cbf16 Boxed SetEmpty TypeMismatch
995d09ddb924fc7d20189bddd428f5b6a47155ed Boxed SetEmpty TypeMismatch
b7c8cfe061a1a28c220186ca1ae22609c62e61fd SetEmpty SetEmpty CanNotBeCase
38e536948868348161d42fb03eed84f5729115c5 SetEmpty SetEmpty CanNotBeCase
c5fe789ed24efed1f5a5219b761b07c3bc0ffbea Set1InDef SetEmpty TypeMismatch
3319110ecf64cd8455669ac64af94a569df654fa Set1InDef SetEmpty TypeMismatch
478110c296276f9490f0e050bec2e9d38c3d9a9a Set2InDef SetEmpty TypeMismatch
13038649fd09deedf643e9424c843a12000dcbf9 Set2InDef SetEmpty TypeMismatch
13f7072d90e81bd29d129a912780e4a4ac2ea5ad InDef0 SetEmpty CanNotBeCase
3f122feffb59351f4a6dd9431536ee34d2f58956 InDef0 SetEmpty CanNotBeCase
60ba17d25c51071478b20be4643acb2d43d242e1 InDef1 SetEmpty CanNotBeCase
25adfc1898937af2eb08fcc7f6cc735e1ea2688a InDef1 SetEmpty CanNotBeCase
e521088beeb42edbc7cf64faa503144d189938ec InDef2 SetEmpty CanNotBeCase
71d879fba5e130419d668dfe7ece16cefcb357ed InDef2 SetEmpty CanNotBeCase
f58e5c262886a009187c31210b640dc77b0a629f FunInDef SetEmpty TypeMismatch
5bb5b17e11d1411291167bef0a9d394d196c7eb9 FunInDef SetEmpty TypeMismatch
06f51e3a370389dc45f66b90c6de2e5be9c3d0e5 Exists SetEmpty TypeMismatch
e2f30965dda5e426905a22778d2ab1f46317da73 Exists SetEmpty TypeMismatch
d4ea2cb9d9b53fd1e7c5659c326cfcad13df40e0 Forall SetEmpty TypeMismatch
77e1a65333512b97b2fd99beaeaa60c5c5c8830e Forall SetEmpty TypeMismatch
252cc621e874f5812606fc0bc17c4105762bdd13 ExistsInDef SetEmpty TypeMismatch
f562fbccfe1ebfd3920bf98be112efe57fbd7fe2 ExistsInDef SetEmpty TypeMismatch
738919a81b377d433ef9345a76cd593300af3ea6 ForallInDef SetEmpty TypeMismatch
2d611c57e9f807d4c6fa6771cb8670892ea89d5f ForallInDef SetEmpty TypeMismatch
cf17a00da93b6b8fb0e7887d6a65ffb9dc6148e4 Choose SetEmpty TypeMismatch
8419f28bb572f2fbc091300f059a4018a08d126f Choose SetEmpty TypeMismatch
96290798a00a18b084693c351186f45cbaec761b ChooseInDef SetEmpty TypeMismatch
9b043ffc442df698675f41930229082d840fc473 ChooseInDef SetEmpty TypeMismatch
2bbf135e45b462c5c1330e7ee401d9010d96c8b2 TupleEmpty SetEmpty CanNotBeCase
7b2085df294c396fb4d5cd2d0f629d7677d11a4e TupleEmpty SetEmpty CanNotBeCase
a8672ff2998bbaaded41a8a867446a5dc9310009 Except0 SetEmpty TypeMismatch
d6cbdef3f3f2f94f7d7802a465f97c0812579405 Except0 SetEmpty TypeMismatch
3d927161448207f698a702d839bd781a589d0628 Except2FunTuple SetEmpty TypeMismatch
2701949f527dd0b5da1a5e8483a613caf16230e8 Except2FunTuple SetEmpty TypeMismatch
a12118c52f695ecc88b82497893cd060b871b17b NumZero SetEmpty TypeMismatch
3dd138638b915f68b241f81310655731c11278ad NumZero SetEmpty TypeMismatch
34a2e07e40878a239bdbd0196d73ce6c9c73b90a NumOne SetEmpty TypeMismatch
7dfb5772616804c58b58fbfb2c275d9fa3663a42 NumOne SetEmpty TypeMismatch
8bf930d0b7bd3ec49227bd5279bc441b1f7e45c0 NumMaxInt SetEmpty TypeMismatch
c94624ebca5e69723adefd463392686f41609d36 NumMaxInt SetEmpty TypeMismatch
e5be769b80cfc6e8bcb56613e6afcab7f1f01f7c NumUnaryMinus SetEmpty TypeMismatch
8d9c2d5854b3483aa8099a48f3790c0b5ad327b8 NumUnaryMinus SetEmpty TypeMismatch
613915d136183b36ca1dd9bdbb025507a7452ace NumPlus SetEmpty TypeMismatch
4837e3f3d5d8b4bbb61bc5465d5be7f7788c5122 NumPlus SetEmpty TypeMismatch
e515c71ab30c69804e0d19caf35782839f12ebe3 NumMinus SetEmpty TypeMismatch
73cbce0747cd5d6f28ad20b982bbba0efbf5c617 NumMinus SetEmpty TypeMismatch
fc13116914e9c440d3572aaf15025d7d8502bf63 NumMul SetEmpty TypeMismatch
c9e2b7b8a7ba52a719ec1ce20a0d86adcaa71efc NumMul SetEmpty TypeMismatch
704ee53500bd87c4c66c24c977085eb42257c101 NumDiv SetEmpty TypeMismatch
6ba79ae832f5ab9e27f5c9589285e3f44eaf6af9 NumDiv SetEmpty TypeMismatch
23ae5e8f41f5c5812a31f8232664f17fd5879768 NumMod SetEmpty TypeMismatch
61b0ad063ec82e0986cae9a6c72ca242937db12c NumMod SetEmpty TypeMismatch
81225e1bbdee6f00bc327d4456a677cfafa4acc2 NumPow SetEmpty TypeMismatch
7c65862a1c13ef54e7f92a109abe621943123e22 NumPow SetEmpty TypeMismatch
2a6f860ce407bc64819a9ef01ef6cf40d70080bd NumGt SetEmpty TypeMismatch
f6c78fb7a19ba10affd0726c29797ecccab2c289 NumGt SetEmpty TypeMismatch
e85727d062aa52f151937fb882b72da62843a6df NumGe SetEmpty TypeMismatch
36bf09d05d4916c5f3b770f79a88b97655cd666e NumGe SetEmpty TypeMismatch
c19c608542460a81e971833d6ecdbf422d4b74ad NumLt SetEmpty TypeMismatch
115c0ab73f62f22032703d8241244af4fd7a1681 NumLt SetEmpty TypeMismatch
6f370003ced73edf96ee4673c4167d6ed760c8ba NumLe SetEmpty TypeMismatch
5515705ed95d04596fed2202bfe2c19761800a13 NumLe SetEmpty TypeMismatch
36728c76023217de9647bf3150e9bc31eea207dc DefFunInDef SetEmpty TypeMismatch
044a780dc75d571c2dcec16f265e88c3ab1d072b DefFunInDef SetEmpty TypeMismatch
dc85f55a3a8003cb3536494e227d86291418f81c LetDefFunInDef SetEmpty TypeMismatch
6e8f6c1a193d23a47b87f6e6c24ce0b71e5b3d37 LetDefFunInDef SetEmpty TypeMismatch
096de8d0c0f74914f79283b6dcc503d7b76a8de6 ConstantModelValue SetEmpty CanNotBeCase
2180877f7210f895ab7a2fda8c45b58934e7d8c8 ConstantModelValue SetEmpty CanNotBeCase
16147dced43f35cb0cc8de7cfdf37b713ff2f80a Enabled SetEmpty TypeMismatch
43a3de2d65ea0ec4fe444eaee2b6c3484d9299d1 Enabled SetEmpty TypeMismatch
71fded561c5ae311548fdd6601a7e55d55e04fd2 Assume SetEmpty TypeMismatch
31873a3feccae1569d4d1731161173604720539c Assume SetEmpty TypeMismatch
bab0c37540fe737cd9843289a24e8f6148d8a446 AssumeNamed SetEmpty TypeMismatch
6e52ef30db85d506aeff575672f990e8d3b494a4 AssumeNamed SetEmpty TypeMismatch
8974f20c429dc81763a6c3ca93d81884e9724a1a IfCond SetEmpty TypeMismatch
93113daf81619c872fd2ec54c749fac991627be8 IfCond SetEmpty TypeMismatch
280233f2a601fcfa43eff7a0166ffc6923c5265c Domain SetEmpty TypeMismatch
871eaf9e8da5cc068d22753d9471d5ab8c3ae8f0 Domain SetEmpty TypeMismatch
5f4c62d7742fb3b3517254c7b12468461d2caf9d Equivalence SetEmpty TypeMismatch
3d440c0116f3156dad6f395455ab1f9412bbb0c4 Equivalence SetEmpty TypeMismatch
0ef68bf9f38549893c959aa8e5f84de3fda78933 StringEmpty SetEmpty TypeMismatch
19387d3210c80fc7dc00f20a1ace1c1426aac9b9 StringEmpty SetEmpty TypeMismatch
f86092544636c82ea43e4d44e0823e9fff333249 String SetEmpty TypeMismatch
cdc000bb2ff899248efdaa55be3dddcf064d14b7 String SetEmpty TypeMismatch
fefac4c1a413758ffc78d0b38b125aa36f116a22 SeqLen SetEmpty TypeMismatch
2146b8efeb5a6ace05d5c0eff1b6efd021c15aac SeqLen SetEmpty TypeMismatch
d008654412a375654b7bbc581cde122f157a602e SeqConcat SetEmpty TypeMismatch
8e89bdf753594e3cc9eca6c07fb8fbbea4e86db7 SeqConcat SetEmpty TypeMismatch
7388b1ba91b63d79c78e18c947eeafe9d7f5c310 NatSet SetEmpty CanNotBeCase
71e585f4d06538fad9cece75f7f3b7c051c70ad8 NatSet SetEmpty CanNotBeCase
bbe39791669256788852435b60462e1625b495a2 IntSet SetEmpty CanNotBeCase
3119004992f9d652abbcce9a0ff87b35903be6c7 IntSet SetEmpty CanNotBeCase
058422549498d4828cce1389cc5afb7d4287131a StringSet SetEmpty CanNotBeCase
61bd83362feb3779ef4cd3a3341f6e5b57672fce StringSet SetEmpty CanNotBeCase
87239e8e090cd4498bca2d741d4e6d593077a4e7 SeqSelectSeq SetEmpty TypeMismatch
eea7c5b8e4f98df42bf4c990e9cf406fb077bfc3 SeqSelectSeq SetEmpty TypeMismatch
502252d8bf50d951408d5baf423ff0f2c0c48d0e SeqSubSeq SetEmpty TypeMismatch
5e3355f01724aa40b2b83dbda9d51931c2687556 SeqSubSeq SetEmpty TypeMismatch
8e02db2150484158145624c0004b725ce2163f48 NumRange SetEmpty TypeMismatch
366dcde422c60b2f322c83394980783f3990c7b6 NumRange SetEmpty TypeMismatch
39779c125b33f401314df34fee3da165e5193b84 TlcExtendFun SetEmpty TypeMismatch
b1fdd697050146aea4addf4af4c68d6e8e049413 TlcExtendFun SetEmpty TypeMismatch
9daf9f2ff2650a6bec424540662bb2975841dda3 TlcSortSeq SetEmpty TypeMismatch
cb05413eec4d92e345a59d540f263c98a4f5fbe1 TlcSortSeq SetEmpty TypeMismatch
b8f26a9a81d971188d4d89aff2a22cb10aa4ce7b BagBagToSet SetEmpty TypeMismatch
0794750d5c5c4bd1890d3e46939f5f133fb4a3e9 BagBagToSet SetEmpty TypeMismatch
8e298c44d945c36c0cad4d1e8b4f8af75fbec3f1 BagEmptyBag SetEmpty CanNotBeCase
133ae382e06e5396e269073126c0691a3815e36a BagEmptyBag SetEmpty CanNotBeCase
a29737ef4048bbc8e95948fe8bb643e840858502 BagAddBag SetEmpty TypeMismatch
ccc340dc64de8e143d758aceb56ccb4994922b0a BagAddBag SetEmpty TypeMismatch
a3435c86c6872c8dfccf1028e430c80e448b236b BagBagSub SetEmpty TypeMismatch
fbd9bd75f356b1e1f1c5bf925503984381b14417 BagBagSub SetEmpty TypeMismatch
e4f046fb495114be1a1f7be707d25d79b5429b87 BagSubsetEqBag SetEmpty TypeMismatch
6523262209c0e685199d2b8ff10f61d0746261a4 BagSubsetEqBag SetEmpty TypeMismatch
bc35f83467b8fae22f7b64964c7c7ad1c7b25d53 BagBagCardinality SetEmpty TypeMismatch
953a8fef5c3fd8c061dcf73cab23ff27f45c2d4b BagBagCardinality SetEmpty TypeMismatch
0acb1ff29a7d9050612eb3c4c7bdd25b4ee9b9ba BagBagOfAll SetEmpty TypeMismatch
cb6cc8c126934f764df3549efd181f86352b4556 BagBagOfAll SetEmpty TypeMismatch
284b7186b352b5d9ac78cd952d816403b9760b64 BagSubBag SetEmpty TypeMismatch
03cb08197cbd763087d796f673a05e353395976b BagSubBag SetEmpty TypeMismatch
76878d2053b38c5b22610dc8b6a0917f0fbec048 SeqHead SetEmpty TypeMismatch
c0d1bbb4c8900d836c6caa385d1d129175fa075b SeqHead SetEmpty TypeMismatch
af34323e2e7551b1a03f8682efaed63f5e60e32c SeqTail SetEmpty TypeMismatch
4647e0e2c2a388dcbd0a49c28c76b5ec333d9367 SeqTail SetEmpty TypeMismatch