Index

Skipped feature combinations by plug feature NumUnaryMinus

Id Case Feature Plug Feature Skip Reason
63d654c4027143ba3753f8342ccdeeefd1953bd2 OneLineComment NumUnaryMinus CanNotBeCase
b11d855f214782d02fa00f92af4e6d999e0beeba OneLineComment NumUnaryMinus CanNotBeCase
f7182c6f3ca1cfc7ba7308277bc977ca10e9e204 MultiLineComment NumUnaryMinus CanNotBeCase
1df91fe7476bc587b5ae7a46206ceb2298e56929 MultiLineComment NumUnaryMinus CanNotBeCase
f65968ae139814804205c22a68d15815a7605030 BoolTrue NumUnaryMinus TypeMismatch
1c9fee2cf36dad12bfd14679d4db49266705ba79 BoolTrue NumUnaryMinus TypeMismatch
0d24e7c91e28e172c90cfad61101af7a57a512b8 BoolFalse NumUnaryMinus TypeMismatch
064d8009045f290f41e282055db9f9fa6cdbd163 BoolFalse NumUnaryMinus TypeMismatch
74b75697d98a5989cd6da59431a88b5ec4fd87d4 BoolSet NumUnaryMinus CanNotBeCase
deb26cc5f75f5839389b76cf52590111c2d38b0c BoolSet NumUnaryMinus CanNotBeCase
f1c6c4a000df38dd33c65e8d0e4d5691eac0d5c8 And NumUnaryMinus TypeMismatch
30627c2db68ceea861b5c22cf2c7f3c9c2306e48 And NumUnaryMinus TypeMismatch
b1dcadf3f4e526767bd3ad08781a5f3059437c4b AndMultiLine NumUnaryMinus TypeMismatch
b0af00efe3346d921bf315437521f0cf186dc0e1 AndMultiLine NumUnaryMinus TypeMismatch
85aedd119aff0a852f82d879efb424966edd85c5 Imply NumUnaryMinus TypeMismatch
c57721dd4c34516dae18e68a85d510e5fd9b3ee5 Imply NumUnaryMinus TypeMismatch
7bcf2c10babcd879cf78507e15211938962d87fb Not NumUnaryMinus TypeMismatch
d3ed5f23f563b9bacb8ebd58b2ef9b6dd6a78d2a Not NumUnaryMinus TypeMismatch
d69c76539be7af0cb9ed09067807927e0150cc22 Or NumUnaryMinus TypeMismatch
27dd0b916d18fbd0f7a33daeee40bfc83edd2b82 Or NumUnaryMinus TypeMismatch
5f3d79600f753fa8dc4def164b3ea199f6d6b1d5 OrMultiLine NumUnaryMinus TypeMismatch
9648a01da356c9c0ecdd41180db90cc2ff056a49 OrMultiLine NumUnaryMinus TypeMismatch
5210b4d9d1b135164cc60868860a33b5e8d02db3 AndProp NumUnaryMinus TypeMismatch
8a960b78b7562672165fd4ec51e8849ce8997774 AndProp NumUnaryMinus TypeMismatch
d8def7a363daca007d830683c974e94cb995b1c0 Boxed NumUnaryMinus TypeMismatch
6127b309810e441cc2fea475893ebab84cc2bba9 Boxed NumUnaryMinus TypeMismatch
bb04c3b37678c047a1a7db031fff82b9259a0d6d SetEmpty NumUnaryMinus CanNotBeCase
fbb6ca863f283b628d74bba97885b71bedfdf9fc SetEmpty NumUnaryMinus CanNotBeCase
acc69001f8789ee2e0d87443860c997a5af6fcab Set1InDef NumUnaryMinus TypeMismatch
0d79fe081840ee9eec345ae1713dcb2d6c0c0b06 Set1InDef NumUnaryMinus TypeMismatch
2dad9e92d438785fb03efbf079b0ca692d51a3b8 Set2InDef NumUnaryMinus TypeMismatch
d26e1cb5eeb2157b1c3cbf8d7889ba0488b822a2 Set2InDef NumUnaryMinus TypeMismatch
43f6272a5485631a70a1c3f887c78529cb1d921e InDef0 NumUnaryMinus CanNotBeCase
ae4f3efbf8e6bc1a445c60d4b2657a51a20c1e3e InDef0 NumUnaryMinus CanNotBeCase
ce85842e7b65b78d26a56cd580b073c3e897fb38 InDef1 NumUnaryMinus CanNotBeCase
e18815c5866fd10085b5b92808e421e8a41e2e80 InDef1 NumUnaryMinus CanNotBeCase
aabc5e2dff714209849747e3794a48904793680a InDef2 NumUnaryMinus CanNotBeCase
5a9004315d9c1b0e2232fed73707761c5ad0c9b4 InDef2 NumUnaryMinus CanNotBeCase
686dfcdfed6e4ba4d7b9b8f7ec5f68885afeec96 FunInDef NumUnaryMinus TypeMismatch
8ef7db95d6ed5e8a2e15eef8ec2c8a2fde04adc5 FunInDef NumUnaryMinus TypeMismatch
23c587c6a4877496a4b75eaecd0697ad97850ab3 Exists NumUnaryMinus TypeMismatch
aedee2725fa9a5f5fe9a59c02c8a636773ef4be4 Exists NumUnaryMinus TypeMismatch
a621d2324086159655097f7aba273b6dc04e8286 Forall NumUnaryMinus TypeMismatch
6f372c612c34718c786b6bc6b73180b6babe34ab Forall NumUnaryMinus TypeMismatch
2639015f49dce3f50f1b409277e04082ca5fa303 ExistsInDef NumUnaryMinus TypeMismatch
5b8128dfe7e80a4efab4615aca216cfbe4eb178f ExistsInDef NumUnaryMinus TypeMismatch
436d510bb914de85b96a702b7370f0e7eb686a56 ForallInDef NumUnaryMinus TypeMismatch
ae68cfb9d7da580902f6c6cf394fb024b2af2fd4 ForallInDef NumUnaryMinus TypeMismatch
8e77e5e47a224499b2e593a424c53c4a28419d4d Choose NumUnaryMinus TypeMismatch
648c6ad02a335738a1788bc82eda4949d5094a60 Choose NumUnaryMinus TypeMismatch
70ae0bf1cec69c26d699a4d493cb5bcb0e9e369a ChooseInDef NumUnaryMinus TypeMismatch
4381ce1208bc6dc51e94417d58aedcb4be6c4a11 ChooseInDef NumUnaryMinus TypeMismatch
d2edec693aa2889e82db51abb321fbf766f7c76c TupleEmpty NumUnaryMinus CanNotBeCase
4e3ce9d7a5a11d4e5821fbaa249187e12dcad983 TupleEmpty NumUnaryMinus CanNotBeCase
5ed31f8ec83d1fe85da673f965b20e604adbbd42 Except0 NumUnaryMinus TypeMismatch
81a12add66bdf77407fd0d596eb12de3b2a78284 Except0 NumUnaryMinus TypeMismatch
c14ac079373122f3c014a07ca572f48e6e16e97f Except2FunTuple NumUnaryMinus TypeMismatch
e88e53517a83c976fd25dfaf9986483c589d808c Except2FunTuple NumUnaryMinus TypeMismatch
fea1967db802adac25ed1b9f791faa86f786fb08 NumZero NumUnaryMinus CanNotBeCase
737c1286b08c70d2d0fe6e7536de050902363bff NumZero NumUnaryMinus CanNotBeCase
94cf427d6b76b37ed9a5282836db5f621497083e NumOne NumUnaryMinus CanNotBeCase
a4f1c2a124b4f803ecfa776ef39f08a8b64cd931 NumOne NumUnaryMinus CanNotBeCase
552d3ce9c52642a26dc0423e0b540fd469a53eab NumMaxInt NumUnaryMinus CanNotBeCase
35adceaf3ff65d40347d6512206babc9a18e4697 NumMaxInt NumUnaryMinus CanNotBeCase
b1e331cffb795fb7b4f06c62664e0d6d4832f753 DefFunInDef NumUnaryMinus TypeMismatch
9cc1ebeb3a2907ef83d97754e95a5e0ee3079d7d DefFunInDef NumUnaryMinus TypeMismatch
3271f5deaf46377bac12fa87cd107c599b2b4d8d LetDefFunInDef NumUnaryMinus TypeMismatch
93d2d32913c708cf85f702ed59d5b8e2b1eadb27 LetDefFunInDef NumUnaryMinus TypeMismatch
0dae3cd1f259e3db153ada9628e25b78b9cc7c22 ConstantModelValue NumUnaryMinus CanNotBeCase
1c8ac3594c178450807e9fe76bed975d1ebd7b13 ConstantModelValue NumUnaryMinus CanNotBeCase
5ad2e8f6cc4061d5454c9dcc62b1642f465a62c6 Enabled NumUnaryMinus TypeMismatch
12d64126f34168f062ece270106abab976c92ec6 Enabled NumUnaryMinus TypeMismatch
a23507887fca71dbdb852c099f3ddb0af9588e0d Assume NumUnaryMinus TypeMismatch
3a948d0e1541879b5032a03f40ca72b8fc5eead4 Assume NumUnaryMinus TypeMismatch
d9abf3deeba565e5b17f4e569bfee55104b0c878 AssumeNamed NumUnaryMinus TypeMismatch
e3fe93754f831be984536ae5f3c272d340ef5b41 AssumeNamed NumUnaryMinus TypeMismatch
8a543608c26cc807ec83f72d729554fe07704a29 Cross2 NumUnaryMinus TypeMismatch
30f1313ad3997b7082eaade79e914a8352e4ba10 Cross2 NumUnaryMinus TypeMismatch
ed630e10d73b0d95e11556d6339f12776dad788b Cross3 NumUnaryMinus TypeMismatch
7ca8bb3347ef26594b2b4b6567d3cc6659e7c4a3 Cross3 NumUnaryMinus TypeMismatch
2ec0ed46a5aa6dee3fc457a9a7d1b677e06988af FunSet NumUnaryMinus TypeMismatch
ff380e75cf53872d23d1c6fb5415efc9e1c1510a FunSet NumUnaryMinus TypeMismatch
f3976cff9a9619a2d5ac0581d2f92b7473612b7c RecordSet NumUnaryMinus TypeMismatch
0e38f1f824e3cdcbcb188a9d3403a09a48af4817 RecordSet NumUnaryMinus TypeMismatch
d0b100b968366bd9faede13ecf7a9b55c207c28c SetDiff NumUnaryMinus TypeMismatch
ab1fd10d15766ba20bbb84673ad611f2f42194c5 SetDiff NumUnaryMinus TypeMismatch
cd39a0ef2c6358ff23c8a81e71040b28ab3fd86e SetUnion NumUnaryMinus TypeMismatch
a2ac5c6dd26e333c3bcac7d1f45a689d5b5d53de SetUnion NumUnaryMinus TypeMismatch
5580028dc0b178e7130935ac4fb1abedc5cd31e1 SetIntersect NumUnaryMinus TypeMismatch
9110ec9b5d1aa546d43393b6530c10965f9a2875 SetIntersect NumUnaryMinus TypeMismatch
17f3209c44971edb0d1e51ef93866cd055892c12 SubsetEq NumUnaryMinus TypeMismatch
4d8a5410da3fe5c0a1ec4e443a5f1d423b627c26 SubsetEq NumUnaryMinus TypeMismatch
e0efc5b186ad393eef21b7a71d87f83fc9c7f028 IfCond NumUnaryMinus TypeMismatch
fe110f8653f906586dc9ebbe9ffe0bb74a36ef63 IfCond NumUnaryMinus TypeMismatch
f60596bfd3ce254e32924213e73089c0a930bc70 Subset NumUnaryMinus TypeMismatch
24728d17a64824a45565b8772bcb736ed6d5a9d6 Subset NumUnaryMinus TypeMismatch
cfed1019b76f6c193e18c87f6751398e732afa35 Domain NumUnaryMinus TypeMismatch
b0659dac3167dc990db8e8335c31c3018a63d4af Domain NumUnaryMinus TypeMismatch
18a779e88b6fe6d7b566c0a9ea5a85b20091bfe6 Union NumUnaryMinus TypeMismatch
f2367e07cb043aa91952f1ad12fa75a8edb296f0 Union NumUnaryMinus TypeMismatch
2abd99965cde8944d8c654624a07098ea9d7c9fe Equivalence NumUnaryMinus TypeMismatch
47c88f12b258e47a14405f7615995b3df29cb713 Equivalence NumUnaryMinus TypeMismatch
d2d446a52676bd5f2939f66fcd5caf57c00f16e2 StringEmpty NumUnaryMinus TypeMismatch
3f86e54a22f07f11fe4cd1562864e9f6c70ffb89 StringEmpty NumUnaryMinus TypeMismatch
27ed80466c27f216e775a8fbd0f75899afb8342c String NumUnaryMinus TypeMismatch
1361f8d1790773af40b4a89a5e39a294c2caefa8 String NumUnaryMinus TypeMismatch
ce1e1a371b3a716eeaea3de3b9f0fcf6af94276b SeqLen NumUnaryMinus TypeMismatch
514e6ae035917774c3f9b688322e224664aee420 SeqLen NumUnaryMinus TypeMismatch
4a852ad3abe0fcca82f287565ae6f19b6d9b717b SeqConcat NumUnaryMinus TypeMismatch
c41bd1a501999c0a76d40dae8d72c19065a8ddb3 SeqConcat NumUnaryMinus TypeMismatch
721524a38128038a63a5a00a3a8c8c3d55e0eeb3 SeqSeq NumUnaryMinus TypeMismatch
d08b61196880da87d7478187b8f27b48ab38d5c5 SeqSeq NumUnaryMinus TypeMismatch
9a14642acaee9cd6af3ad9832abfefcee2d91a74 NatSet NumUnaryMinus CanNotBeCase
99ac0123ab8b731071a09206e5644befb8476d8c NatSet NumUnaryMinus CanNotBeCase
222267b3384899c67b85f79db3257ece7f55f0f1 IntSet NumUnaryMinus CanNotBeCase
5c7e2632aab1d8be95654b4e6ded6bd6c66633a3 IntSet NumUnaryMinus CanNotBeCase
ead5505ee3a98d38e1a7f0c92735d87ba6312065 StringSet NumUnaryMinus CanNotBeCase
998dfed0477088fd4c1a2b806c708dbb11eb1532 StringSet NumUnaryMinus CanNotBeCase
b3f8450feba148aaaee29338db53dd42ac133627 SeqSelectSeq NumUnaryMinus TypeMismatch
4f3bafa9f8cebefe8bdf839f60c195f23f515fb2 SeqSelectSeq NumUnaryMinus TypeMismatch
95d1068c19c4f22939f555ea80de806f8f4a9b7c TlcExtendFun NumUnaryMinus TypeMismatch
722dc511e8b37899c7c17bdfcd6fd7b587542aa5 TlcExtendFun NumUnaryMinus TypeMismatch
20a41fe767f769239155a3e08afbbaf7dd461218 TlcPermuteFun NumUnaryMinus TypeMismatch
cf9b75bc7676f190dcadc38f57fab3e9ed23652b TlcPermuteFun NumUnaryMinus TypeMismatch
f5d434441627a7a7f3384a40eea9a518f31cf946 TlcSortSeq NumUnaryMinus TypeMismatch
48858c45c6621588f6d9dff71b9c2d80b3d62036 TlcSortSeq NumUnaryMinus TypeMismatch
311feb6d89da856f7fe5ba71f0d8c86f85d82204 BagBagToSet NumUnaryMinus TypeMismatch
d0e9b93889ad40ed680cc98c754f2701869bb290 BagBagToSet NumUnaryMinus TypeMismatch
c72d8d59b06215d9395a25d32e2945b8a44dcf43 BagSetToBag NumUnaryMinus TypeMismatch
473c9b88f79e204ddee618f8c091e13952bf5c0a BagSetToBag NumUnaryMinus TypeMismatch
d8ea19ce67e24f6c05f6fae394c6f27bb4bf3755 BagEmptyBag NumUnaryMinus CanNotBeCase
0f2858f4badf711ecf188470f774e70c0b5faf59 BagEmptyBag NumUnaryMinus CanNotBeCase
35fedb277d0ad6a0e1c14e65081a556115f16b07 BagAddBag NumUnaryMinus TypeMismatch
d0742661a6cce54421e2c162288ac05fcfb89cec BagAddBag NumUnaryMinus TypeMismatch
1a48a3ceefd684b3f51b48f8cab9411a8cebb214 BagBagSub NumUnaryMinus TypeMismatch
3f9d3141f04a40b13099c066191e7cc58502fd90 BagBagSub NumUnaryMinus TypeMismatch
9532277cbeeadba6c827847b4f7b1453539595ec BagSubsetEqBag NumUnaryMinus TypeMismatch
7e7186184fb9ddfbacbaeaae25874292f4f4e1a1 BagSubsetEqBag NumUnaryMinus TypeMismatch
b55b9633e04c181e5ed88b1c07345744f1046626 BagBagUnion NumUnaryMinus TypeMismatch
06117d480497400ad21ea3ff7d86fb3650288bc4 BagBagUnion NumUnaryMinus TypeMismatch
af5e7989446762cd3d685b93bae587c2688ce728 BagBagCardinality NumUnaryMinus TypeMismatch
a71e875fa7b9a31511b11d3126842bddc787c328 BagBagCardinality NumUnaryMinus TypeMismatch
e612f0d8a21e6843c54c0133198b2b9b5a2f00aa BagBagOfAll NumUnaryMinus TypeMismatch
39135c3c38a999943453c606593eb1fc49ebe2d8 BagBagOfAll NumUnaryMinus TypeMismatch
094d3ac0ed996da278da550e9f42e98d55f08db7 BagSubBag NumUnaryMinus TypeMismatch
cbb7cef304db916bd979c133f5db70aae02fd00f BagSubBag NumUnaryMinus TypeMismatch
aa3b077a3562b25b48804f1e060f5b3d071914c5 FiniteSetsIsFiniteSet NumUnaryMinus TypeMismatch
a043ef00054add10e67a755168696009f9785b00 FiniteSetsIsFiniteSet NumUnaryMinus TypeMismatch
ea601d7cfacdc46fd66d2184925cc53350975acb FiniteSetsCardinality NumUnaryMinus TypeMismatch
18b52bc8491df400d201d5276898c4b0c7283ecd FiniteSetsCardinality NumUnaryMinus TypeMismatch
0a2e272b4fd78704321b76cff89a80e16e8d5ae9 SeqHead NumUnaryMinus TypeMismatch
fe6c20048618671224299ff21f806e84526e8240 SeqHead NumUnaryMinus TypeMismatch
d78584997e32fb8cb273395cbb0b713ee20a8bb0 SeqTail NumUnaryMinus TypeMismatch
c0cf2dca15a8a5edbfba8e71142e490bb8b9cddc SeqTail NumUnaryMinus TypeMismatch