Index

Skipped feature combinations by plug feature TupleEmpty

Id Case Feature Plug Feature Skip Reason
8f9e026ad25897824c4d80cd7e7546096fd73c0b OneLineComment TupleEmpty CanNotBeCase
d6e1383a7d6204a15a1c110bef555f5d678158ff OneLineComment TupleEmpty CanNotBeCase
83681bc97df93d2c6c96f85d2670e9b7bfdc47fb MultiLineComment TupleEmpty CanNotBeCase
0e2027cf3e04a859e86ac251ae9c210ad5be4689 MultiLineComment TupleEmpty CanNotBeCase
a7e58e6a98f2a26b6d632a5781a0a03f8947a91b BoolTrue TupleEmpty TypeMismatch
466fdb27c4a2bff88254b5099d17c402ad493ca0 BoolTrue TupleEmpty TypeMismatch
7eeceb9b8a8b70a3a690ff0e0668656eb98d4865 BoolFalse TupleEmpty TypeMismatch
35c93d43ab37dbf2bc555f758e63aa370518a18a BoolFalse TupleEmpty TypeMismatch
bb69789dc11c02f14124ee9f18f242c04fbd15b6 BoolSet TupleEmpty CanNotBeCase
9616a35cfaa3ce65f510a336b8da835896b221fc BoolSet TupleEmpty CanNotBeCase
1435286454a354a47db49e85965ebf9e007a3e52 And TupleEmpty TypeMismatch
69bd41b968964f8f2c4602341e16e85ddd038dad And TupleEmpty TypeMismatch
fd2e3262a4a36d881833f8993992fc5070148a55 AndMultiLine TupleEmpty TypeMismatch
40c5c40601c6836b0f3d9c5cca139d60270efc19 AndMultiLine TupleEmpty TypeMismatch
7718d7b5e2204ed40588ec73b39180bf4b0092d1 Imply TupleEmpty TypeMismatch
ff4315c84b34086d8647f3df882c803ed5e3553a Imply TupleEmpty TypeMismatch
77ffeee2798d0c2b8cc04ff44c70c6c5ed76c333 Not TupleEmpty TypeMismatch
44d3a941f1eae7229d6316f35bc15e8d9cf385d3 Not TupleEmpty TypeMismatch
66fb579b1a3c96b47facbac488fc7d7fd779d425 Or TupleEmpty TypeMismatch
fb5c9a61adc487ebfc1859c961bb741686d9b580 Or TupleEmpty TypeMismatch
68d2748a8fc67f292da9e64ad5262806dac546a6 OrMultiLine TupleEmpty TypeMismatch
32c95c62f284674bf53013fd29c65bb3f127f4e1 OrMultiLine TupleEmpty TypeMismatch
0a73963667180629674cb2f163bd1fb7731c16ff AndProp TupleEmpty TypeMismatch
21d6473b545b3f9788dc0802d9617576ce9d7f38 AndProp TupleEmpty TypeMismatch
aeda4c9cff2ba6accd670c0641f5bd4b0fc4ce9d Boxed TupleEmpty TypeMismatch
3fba728923bf04b97d9bcb41eb8c663b0ed60303 Boxed TupleEmpty TypeMismatch
b74d058c4fc317f3e17c1aaf2dc47061e69d827f SetEmpty TupleEmpty CanNotBeCase
44c2a88e74ced876a271afce16d19df94a9cb10a SetEmpty TupleEmpty CanNotBeCase
0e8b9a15a21c555f4f05ed99923180ce57a374fe Set1InDef TupleEmpty TypeMismatch
45719fca004e78503fa61b116035a6d65f0aff4b Set1InDef TupleEmpty TypeMismatch
ff1340ae7847057393c120fdc2452d166c97753c Set2InDef TupleEmpty TypeMismatch
0a7a594ecaa0ef295908fa6ddee0fb47fc3e6588 Set2InDef TupleEmpty TypeMismatch
2d523a6142af56f90679da8e2a6e0011c016db68 InDef0 TupleEmpty CanNotBeCase
3b006e102b90a3c6b98162099a0fa212cf119ae6 InDef0 TupleEmpty CanNotBeCase
7affdad8afa5c07ba536d7a5b4e224f19e832a6d InDef1 TupleEmpty CanNotBeCase
090452a4de789fc5766ec4ceb15c6f93eb204db4 InDef1 TupleEmpty CanNotBeCase
d64191aa2b2f9325168186cc16bfb0504943554c InDef2 TupleEmpty CanNotBeCase
0d06f1a3210c1621eb453363f951942880205a0f InDef2 TupleEmpty CanNotBeCase
05ef09a8a1a39cf14dd9641c9a6588e778484e0d FunInDef TupleEmpty TypeMismatch
e9839661f41c2acf327698310744c749b664937c FunInDef TupleEmpty TypeMismatch
0d180907bb44a836f3bea2cfc1ea3b9444ea2eee Exists TupleEmpty TypeMismatch
dfcd605ac681eeee8ab8f0a2160af604757c0d85 Exists TupleEmpty TypeMismatch
e69259901f93c10ecd27d6edf413cb207028fba9 Forall TupleEmpty TypeMismatch
3a48d93c435f7a10507c5cbb98b0d93b41e377a1 Forall TupleEmpty TypeMismatch
6949017405d153a6f029dba8d225fe10a4d44e88 ExistsInDef TupleEmpty TypeMismatch
6339db4ad280d21ce5603adbed597ce83aaf9960 ExistsInDef TupleEmpty TypeMismatch
49c9b8757b58c1acd85de3cfe5f0e4f2b92ef9e1 ForallInDef TupleEmpty TypeMismatch
4b4bdd606db32fc79694911eb2bfa195684b2902 ForallInDef TupleEmpty TypeMismatch
cd007eed427aeed2a52ac1b05015f88cdaef4b0d Choose TupleEmpty TypeMismatch
5976760c526f4bfdc52009617a5492ad495c020a Choose TupleEmpty TypeMismatch
faecd9ce1f951df262d52445219f0b915f15f7ce ChooseInDef TupleEmpty TypeMismatch
3af1469ea397a0d885221202132ac619d6480bca ChooseInDef TupleEmpty TypeMismatch
eae6436f08b81883d3ad454bf3cc4a4358ba5470 TupleEmpty TupleEmpty CanNotBeCase
9cc9e6f30b1b5917acd7fd535c8c88972fdb3d57 TupleEmpty TupleEmpty CanNotBeCase
d4ece9e6a0c0dac744070a8da1bc5c683f068f06 Except2FunTuple TupleEmpty TypeMismatch
10a7b45135c240ea94e1b17831453c4180e05cb4 Except2FunTuple TupleEmpty TypeMismatch
1d3c5b5c03ccda56c99724b94320ffd15a97d92b NumZero TupleEmpty TypeMismatch
a3faee00f8abace6072c53c5235a6af1bea8b4d9 NumZero TupleEmpty TypeMismatch
84b0c2e37033ca969a7a4529c54423a3ff6b496b NumOne TupleEmpty TypeMismatch
3a4e01ea046769905311ca2d37e1bea113811ed9 NumOne TupleEmpty TypeMismatch
912cc7ef068fe8659805676d31eb96341c26c7eb NumMaxInt TupleEmpty TypeMismatch
d2c947706ec02e4b483f6de5155ed4c719bf7564 NumMaxInt TupleEmpty TypeMismatch
c980bd9993d34fdd4ced7c91c6b8093d89f061b1 NumUnaryMinus TupleEmpty TypeMismatch
7e14440cb313e7af0edf76469b7d07a883e88742 NumUnaryMinus TupleEmpty TypeMismatch
8e9deec0b8aaee6743b5712f3b80dc92eb53eb71 NumPlus TupleEmpty TypeMismatch
148497ca763c73d1de410a742583beb257cd104b NumPlus TupleEmpty TypeMismatch
916109586477c38e8097cabd07278ddb8b0d48c8 NumMinus TupleEmpty TypeMismatch
43bcc5bbc3ee59f2db70800d31f95e521a520a93 NumMinus TupleEmpty TypeMismatch
a67fb32d9106550ebd4032dc513eb8355f3b13a3 NumMul TupleEmpty TypeMismatch
6ebda5482812c416ae17e1a492cb7c78e24e9894 NumMul TupleEmpty TypeMismatch
f5a97ce5e1713873195608063bf962235bfafeac NumDiv TupleEmpty TypeMismatch
9b7e37362e8c8dd073bde48b8e30c163758b3115 NumDiv TupleEmpty TypeMismatch
1994115e868dbc53453f9eb2ece1d974f5d297b1 NumMod TupleEmpty TypeMismatch
2343ba1e6ee7f41b5e4373fcba6854daa152a14c NumMod TupleEmpty TypeMismatch
a1e7d66467aa6ede175ac440bcd70d82fd5eef5a NumPow TupleEmpty TypeMismatch
eff9ac390faf72c6a58d9fde5582abfe9bd1ea11 NumPow TupleEmpty TypeMismatch
77bbf28e32945c31b9b4675cb8416e696cba9a4b NumGt TupleEmpty TypeMismatch
a6827a4ce53fdb903b62060f64c093182eff0982 NumGt TupleEmpty TypeMismatch
878a3b485218b37a668664cb15fde56f9c660338 NumGe TupleEmpty TypeMismatch
70c5ae05301be4889a242df283843d8a400d4e79 NumGe TupleEmpty TypeMismatch
fe2e78ede0689c661479ddfc5003c4fa66b4c54c NumLt TupleEmpty TypeMismatch
fb670e1957a90c7f63e2fa061293c8df66ab641a NumLt TupleEmpty TypeMismatch
b443c2d20b794868f43faa03937b4adc4a315428 NumLe TupleEmpty TypeMismatch
3bcc63f9dee799936dcc862c1ed88f041e2be7ad NumLe TupleEmpty TypeMismatch
72f473b43e5eddfea1e7838c1a2ed9fe78ee52d7 DefFunInDef TupleEmpty TypeMismatch
7bd2164ec7c6c676e7099b3b63b05cd5e4c69396 DefFunInDef TupleEmpty TypeMismatch
c2553462700e6890af8d94492c992cd8b46d8552 LetDefFunInDef TupleEmpty TypeMismatch
829dc562474bdc70eb92366c3f4484c15cc008ae LetDefFunInDef TupleEmpty TypeMismatch
2d3c626b9449c3dee5deba9828d6b7bcedc184fd ConstantModelValue TupleEmpty CanNotBeCase
e195661919014d96034ad6fb7f7df89899ec5894 ConstantModelValue TupleEmpty CanNotBeCase
a3296f43656973668eab56986896b291c490c0dc Enabled TupleEmpty TypeMismatch
ec72d763efa9a839984e466f3521ccd2eb4b0f38 Enabled TupleEmpty TypeMismatch
ef62e0cab1535e8fb2ccee49842cae1e919a2f69 Assume TupleEmpty TypeMismatch
8f746ce4e1372e55cf2b0865462d140be54e7070 Assume TupleEmpty TypeMismatch
db120bce166409d5533e529d2766ccf852d935fb AssumeNamed TupleEmpty TypeMismatch
6ec5646debc6c6a9bc295c70dc82b0378248827d AssumeNamed TupleEmpty TypeMismatch
c6917f34f0dede708a91a30b6f951b74ba83f949 Cross2 TupleEmpty TypeMismatch
3a120c6ba19aca6a0d67e76409cc9a4c0abe2f1a Cross2 TupleEmpty TypeMismatch
cae05516ab62fda986d0c5b38db4aaae6d918324 Cross3 TupleEmpty TypeMismatch
641bacdd1a774c564c8859bcff8d18705078b92c Cross3 TupleEmpty TypeMismatch
911c73fbc107eccbaebce38edb4366239334f3ba FunSet TupleEmpty TypeMismatch
aa02342b484cdcf460e1593932717d7343b6f628 FunSet TupleEmpty TypeMismatch
6699c7a3596fdb23c2c88e0d74d4fb1fb74337f0 RecordSet TupleEmpty TypeMismatch
21a103a8ce9ac7938048972180cd8f852b860c31 RecordSet TupleEmpty TypeMismatch
5850ff0b6edc3dd03d4d8ca6df4912493bd58d01 SetDiff TupleEmpty TypeMismatch
695293cb84b1cce3a61cff9e7521e7c32ccce094 SetDiff TupleEmpty TypeMismatch
13b78f3c9691b365c1cb47f5af8068518c2673df SetUnion TupleEmpty TypeMismatch
40bf95590732eadea847c89788d3fb044adc426c SetUnion TupleEmpty TypeMismatch
18828a420256a63d26a8897432f6bd5266022db6 SetIntersect TupleEmpty TypeMismatch
c7cf2c8da9c954993151cce5c7793d02bbff25f4 SetIntersect TupleEmpty TypeMismatch
e1b612c28c44d48e80389b75c11007146c0fbfb1 SubsetEq TupleEmpty TypeMismatch
a32adfb859e3080fe3a96dccd2eb5806d347c20a SubsetEq TupleEmpty TypeMismatch
3f73bcc48fd721fe899c260d96c9cd7eb8a4ccd6 IfCond TupleEmpty TypeMismatch
c25f0887c3a5dbb28f85513739c974245063fdf6 IfCond TupleEmpty TypeMismatch
3f3864c6b23f5e545eacd664e43d9e5b0378ba59 Subset TupleEmpty TypeMismatch
6e778c39dbf9486edd113099eb89ec677552350e Subset TupleEmpty TypeMismatch
3ce2ddd6282e7fd0f15504b973cb1f8c508d7e1f Domain TupleEmpty TypeMismatch
f4a1e6ab7a203f7b165494cbe9e98792ef855562 Domain TupleEmpty TypeMismatch
5cba53ba67304da7f69578c58ee28e18aab831e6 Union TupleEmpty TypeMismatch
1b1baa02e5daf9de95994ce6fac8edd9bf96fb18 Union TupleEmpty TypeMismatch
c6ddba8190aeb4e5965c11601af5a9c89cfc7ead Equivalence TupleEmpty TypeMismatch
a316e3190f9db443e05703aab39e0a8b8083f59e Equivalence TupleEmpty TypeMismatch
20429a49c5f501c39f839e55723b4e0f3cbb3e3a StringEmpty TupleEmpty TypeMismatch
e2ae2e04b224f294f2e55bf1d9d6b81a3c9cbd26 StringEmpty TupleEmpty TypeMismatch
87fddce4bcd7357968d425397adaee23d7019edf String TupleEmpty TypeMismatch
fdd0a4bfbea00ae11ebb781c2a6f825648eea261 String TupleEmpty TypeMismatch
5fa5189eabb57b5aac04c7a4fa7bae3ee5d5e648 SeqSeq TupleEmpty TypeMismatch
847fd70bf8080daf07eb8d258535286596c702b9 SeqSeq TupleEmpty TypeMismatch
6b09d9aa96dd7e95ad2abaec78c204729a926b09 NatSet TupleEmpty CanNotBeCase
d58aca181b505285893c594a6a7e153a3f4f3cd4 NatSet TupleEmpty CanNotBeCase
285f6d33e14903ae33d59fe1036b91b7b7a0b99a IntSet TupleEmpty CanNotBeCase
66363fdaf753286e93322dd8f9f5fc76b50a8d95 IntSet TupleEmpty CanNotBeCase
3fbea7ba14d7566d9ac12abf5a014b0c906ef890 StringSet TupleEmpty CanNotBeCase
76ffadeab0e7090e1c4a9653c7a7446ff36c0098 StringSet TupleEmpty CanNotBeCase
4d4b7bf0608665223ad9a12a6dda6dcde152f846 NumRange TupleEmpty TypeMismatch
be240108af5583e31f3d14420691467a80a01da4 NumRange TupleEmpty TypeMismatch
28f2462c27425d7008124a464b842e6b2e31e60a TlcExtendFun TupleEmpty TypeMismatch
4c103e76eb01819e7e56c86d2e10e69dc13741bc TlcExtendFun TupleEmpty TypeMismatch
d561d23f83938c175c8ed10ce659eb5db66024c3 TlcPermuteFun TupleEmpty TypeMismatch
c3df7f58dd069f53e8b2942879ba8ea39d9b8594 TlcPermuteFun TupleEmpty TypeMismatch
2029d5f6c6367af03ac25031863ea8a5f522b9bd BagBagToSet TupleEmpty TypeMismatch
925116b54160fa2aeb5e619a2e0acea5fbc453c9 BagBagToSet TupleEmpty TypeMismatch
e9193b691a3711c2b7f36fd16ebc584bd750e9f5 BagSetToBag TupleEmpty TypeMismatch
f8f381dc42e810035dd8202f43086132d2c98fc4 BagSetToBag TupleEmpty TypeMismatch
c34e54b7e9e10502111bce39c613f867fb5e33b8 BagEmptyBag TupleEmpty CanNotBeCase
99e75d3b0bd8625d8fc3759fb7f1dba2492c1cb1 BagEmptyBag TupleEmpty CanNotBeCase
84b93bc3ac289c96370ca7f0406f21603c40e3cb BagAddBag TupleEmpty TypeMismatch
789618251eb1c5f0eb5bdcef39ff94d656524656 BagAddBag TupleEmpty TypeMismatch
d74a831cd3f8b929065a73681be320aa034feb98 BagBagSub TupleEmpty TypeMismatch
f2005e114dd0e19641a96aa6e0fb22555e26cdcb BagBagSub TupleEmpty TypeMismatch
1ffd0b624c2fbdfb41ae492acab356bef34a2d85 BagSubsetEqBag TupleEmpty TypeMismatch
a3c57931fa1e7d878771ff7daf1e9a7867944621 BagSubsetEqBag TupleEmpty TypeMismatch
e37c607b640000bdbe3fb97b2b2c1ce773a8f9b6 BagBagUnion TupleEmpty TypeMismatch
aa91213d71b02437add49801f2d5feff7d41448e BagBagUnion TupleEmpty TypeMismatch
622c14edae5c79b09fd6d3c4cf64559e902cdeea BagBagCardinality TupleEmpty TypeMismatch
2c355583cdec5057fede26119945e5c19984a3c4 BagBagCardinality TupleEmpty TypeMismatch
54827e73303125297676cc0f1d9571261b5c0552 BagBagOfAll TupleEmpty TypeMismatch
f5b701077d077e5234be0b21be36b052d3c1e478 BagBagOfAll TupleEmpty TypeMismatch
94c7d6966ed9e4450b1eef6c659a7300e6f5f2e7 BagSubBag TupleEmpty TypeMismatch
9fd55d6f06635fd570790cbb2b37130342a8e782 BagSubBag TupleEmpty TypeMismatch
dc5edd8f0e62d8438c3f066dc0a341897b0bfc1a FiniteSetsIsFiniteSet TupleEmpty TypeMismatch
57d928c46c826f7f0addbfaeefd096bbbe34ff27 FiniteSetsIsFiniteSet TupleEmpty TypeMismatch
70ebc645d786a0881f7c0dee14ed77ec8d71f057 FiniteSetsCardinality TupleEmpty TypeMismatch
0928efe0cec69330b01f248eccbb172db016f492 FiniteSetsCardinality TupleEmpty TypeMismatch