Index

Skipped feature combinations by plug feature Variable

Id Case Feature Plug Feature Skip Reason
512af7e02622690c18f49da8d6181e550e8a4093 OneLineComment Variable CanNotBeCase
6097ef8225652d9e1497c9c9c569d8434b627d48 OneLineComment Variable CanNotBeCase
45bed39a6d08c4883fbcd7df77f269a20e73b780 MultiLineComment Variable CanNotBeCase
3c80cc5d97a453d214d6e2543d75d1872d224b75 MultiLineComment Variable CanNotBeCase
ea3d3fa370353e016a3b4cdd627ba5fd6675c234 BoolTrue Variable CanNotBeCase
f671952ec5d7a3925cf5a3792b245236bc4dcbde BoolTrue Variable CanNotBeCase
2fb387bdc9f6e6e624f070354690bed16bfd9e7c BoolFalse Variable CanNotBeCase
c434e9ccb6e09cf40e42cde76f22a141a90220eb BoolFalse Variable CanNotBeCase
bcff6605239a25b2c4242b12ffe2b2aa12d75eac BoolSet Variable CanNotBeCase
0a6bb8861029093f6647f7df9a3e8bde7493e83b BoolSet Variable CanNotBeCase
98768dc68e76d181e5e249846ac596a2d2a35c27 AndProp Variable KindMismatch
1369d88ba3e02958862eb76e597c5cb32caba242 AndProp Variable KindMismatch
de690f62e0111522ad439dea55717aa0c1ae4ddb SetEmpty Variable CanNotBeCase
53f51dc01b14ac53526cea0026c2353b48837a01 SetEmpty Variable CanNotBeCase
f41623868c2e55c294025587920975fef692f2e1 Set1InDef Variable TypeMismatch
03decebe233a88bf00e8d5811f9470973ad9ef56 Set1InDef Variable TypeMismatch
cc053f1906e4fd1caa37cfd0676aec463169d688 Set2InDef Variable TypeMismatch
8d5252690828e4e6a373bdb26eafb2dcb2179f9e Set2InDef Variable TypeMismatch
62a88ad1c32c19f65b3dd37c1678a7c6bda480f4 InDef0 Variable KindMismatch
4c5b6d852a3d285299757cc41a6b49086cb9aff7 InDef0 Variable KindMismatch
6c25b5aebad74e6f4e562edb68adc781342de8e9 InDef1 Variable KindMismatch
c354377f478361e234b9824375969968536ad064 InDef1 Variable KindMismatch
da923b8dd7e509a160d74c80ee6773e74666ea1b InDef2 Variable KindMismatch
d2727ec6ad84c2508193e55619f48839bc256825 InDef2 Variable KindMismatch
74488795c8bd2f37ed04ca131507d2677ee1cfb7 FunInDef Variable TypeMismatch
46d7e9b5399655efd8aace01ef3c7bb70d25b2ed FunInDef Variable TypeMismatch
22985e55e6315478b1dfacb3924568bb71b40c66 ExistsInDef Variable TypeMismatch
1c678a14bf35b442d8ca4ddc2329a6c69814b435 ExistsInDef Variable TypeMismatch
c942229c8551cda462a62683911d969e7f865857 ForallInDef Variable TypeMismatch
31fbc73b6029d15e2165babc8fd31f955e432b0f ForallInDef Variable TypeMismatch
64682693b28c504dee6e53cfeb784698f6bdfca8 ChooseInDef Variable TypeMismatch
89db155b42653f3c131147f63fe0efb3860beda6 ChooseInDef Variable TypeMismatch
8620769f7e53e9b383a7d1d7c344474b8c0fd652 TupleEmpty Variable CanNotBeCase
5c6031aef4f126454484dba6af7c8cd9cbf96db9 TupleEmpty Variable CanNotBeCase
f000919fe7d1b05359ca0dc08356b7f5634b1ce5 NumZero Variable CanNotBeCase
44fdd629913dfe3f032005caa076ca8e3a0a5af0 NumZero Variable CanNotBeCase
d21a8f66f42a106c37cbf77718cdc99272573614 NumOne Variable CanNotBeCase
ba84518dd971e3e8a728ec75fdf2c73f8fcdf0b9 NumOne Variable CanNotBeCase
4cd6470a84af8c56af3d3360e82db738683e8801 NumMaxInt Variable CanNotBeCase
26957ccd5ea8c0a6124c1888a93aff1f811fc6ba NumMaxInt Variable CanNotBeCase
947c0ed7b225fbd41e5abe92811d33d525e4cee1 DefFunInDef Variable TypeMismatch
4cb17d0c5a670afd80d8ccae7513ce13eeae044c DefFunInDef Variable TypeMismatch
baaec75aca599beeab17e5d9c412775569ed14b8 LetDefFunInDef Variable TypeMismatch
f0c62ffd59f3ba34b905516f40c15bd85acc417a LetDefFunInDef Variable TypeMismatch
6fe2dd57d1c1a22643303a3d25b86758e0230daf Constant Variable KindMismatch
f036249c8e38b61b468a5b3c48f78b07786bcb33 Constant Variable KindMismatch
2b6894370588f60421fcb18bfd09b40bdf0b7bf5 ConstantModelValue Variable KindMismatch
fea3df97377f30a38465bb24ce00936bd8f3876d ConstantModelValue Variable KindMismatch
d93f4ddef51f038a9ea19477ef51896d9c7d01c4 ConstantRank1 Variable KindMismatch
971d34d0cadbf7b1b7de58da6e274cefc39abbe6 ConstantRank1 Variable KindMismatch
eda08595a931559329ef197c8f6e63563c987bf3 Assume Variable KindMismatch
d74d816812dc9de39cc555a6471a821537b816bc Assume Variable KindMismatch
38fca24ce862dc1ab7d12999579412252b63cf4d AssumeNamed Variable KindMismatch
9831eef26ed29ac6884af03c96ac28da18e7e443 AssumeNamed Variable KindMismatch
8ca798abded004c223d09436948f4bc02bbe9493 StringEmpty Variable CanNotBeCase
0938a5082fe28c18ff4064e0866e3d98ab4e9bf0 StringEmpty Variable CanNotBeCase
47585a435293b081bba53a8da199b2d1531e36ee String Variable CanNotBeCase
736cc73f60c179a75bdb69e3e4a7f2246ece90d6 String Variable CanNotBeCase
3107e413d61065dda3a1d992ba5728e73f17c204 NatSet Variable CanNotBeCase
716a39a83989a9e3dd519aed41d051410ec0d8cc NatSet Variable CanNotBeCase
473824f0e0cb020d956e650a6400ec88eab52dc9 IntSet Variable CanNotBeCase
9e25efc520444456f6c4417729d5957548979631 IntSet Variable CanNotBeCase
4e41f29f9cf921bb678ee68d213e5d903919530a StringSet Variable CanNotBeCase
335e6bd2fc599684bc35976af7ef89974bb2b12d StringSet Variable CanNotBeCase
e23e35ec524a3388a11467ae777f0cba1800d638 BagEmptyBag Variable CanNotBeCase
959a8bfb1763946ae29584f59037cba53ea00b88 BagEmptyBag Variable CanNotBeCase