Index

Skipped feature combinations by plug feature SetDiff

Id Case Feature Plug Feature Skip Reason
a3d82065305ce225bf7ac87cd38e08caa926d13a OneLineComment SetDiff CanNotBeCase
3d60ff2dc2d0e0416d0a02f9d5fb7205a768c5a8 OneLineComment SetDiff CanNotBeCase
2f9c809a1ba4d7af12d24d5ddf0827e84ede96d6 MultiLineComment SetDiff CanNotBeCase
47de15ad65a75589172dec3b37f2fdcb74cbe811 MultiLineComment SetDiff CanNotBeCase
f08b5c1367f556c4ced6e53c263a5146dfef756f BoolTrue SetDiff TypeMismatch
c704a3b9954419bd3836053fb0c7ef8d0249cd12 BoolTrue SetDiff TypeMismatch
801dd7b8403379fc50b6ede48c2620894a7b6a67 BoolFalse SetDiff TypeMismatch
3318fab37989eb2f1066b181e67621d9cc884a8f BoolFalse SetDiff TypeMismatch
90981fe5e7850a52d07c4eab629e99d221ccc37b BoolSet SetDiff CanNotBeCase
e6ad0d481cf62284b5bb6458c570dd37751883d2 BoolSet SetDiff CanNotBeCase
1f60eb1f659d0f22a8b3a89bd8eff987d77536d4 And SetDiff TypeMismatch
771ada5cae2e2a914d16a7759ad577dc56056f49 And SetDiff TypeMismatch
c1a2fa266316fa9f12f70da51b5678d54a8e5f24 AndMultiLine SetDiff TypeMismatch
b04988dad6d05f96bb35cc65782ae1b96b270a53 AndMultiLine SetDiff TypeMismatch
c1fa1c9d7479fe05c5c9eec765294c419b10089e Imply SetDiff TypeMismatch
89456437e2e95d1ebe016df6ef7a1ed384d0191b Imply SetDiff TypeMismatch
86f6ca1734246f4e40cda2e844f90b7f91428b55 Not SetDiff TypeMismatch
2dc9cca1538b73616dc8cf8e60ab65f421b6d193 Not SetDiff TypeMismatch
06ce923c8c7aeca5173f804874b791a6b6b3a475 Or SetDiff TypeMismatch
97b7405f0ca522112d25f08c0950feec7bb48a1a Or SetDiff TypeMismatch
a27d49acb3cd7c3c0d39ac38f24fea684a237e07 OrMultiLine SetDiff TypeMismatch
e893bc850f9c5bfd9a112dac343b724aa6445f5b OrMultiLine SetDiff TypeMismatch
bdebbbfd921dedcb1943707eb1444831221bb75f AndProp SetDiff TypeMismatch
fe8103acde05ca72ddfe6fe49453895757459aec AndProp SetDiff TypeMismatch
f234da27428140ac8b7b104012a254490e72fea8 Boxed SetDiff TypeMismatch
20e928e16cc5b04035be560c0f9e068bf4ff2794 Boxed SetDiff TypeMismatch
9230fc067ac49b3e671e650fdf552e64326f4b68 SetEmpty SetDiff CanNotBeCase
5e39f8bbe0f9310e0527c0b45693aa0c1964d4f0 SetEmpty SetDiff CanNotBeCase
4efc4365a6176e6fcae69672a8ae0d7f568e993e Set1InDef SetDiff TypeMismatch
910289b62f371c9e3ffdfda697ddb75120cc7801 Set1InDef SetDiff TypeMismatch
266e6d3a0122a7866e8c8789a5c463008c17c325 Set2InDef SetDiff TypeMismatch
290c70e280ef0ced5a5464e3f5bece728cfaae09 Set2InDef SetDiff TypeMismatch
20653aa8b16b2d83a731f5d6b3c41c5827846e96 InDef0 SetDiff CanNotBeCase
e4984e5dafa554782b726e8f8612a57abae597dd InDef0 SetDiff CanNotBeCase
c3f1552c439bf4c8afadb14e3e87e05db6453de0 InDef1 SetDiff CanNotBeCase
2ecca0ae074aff85a5ffc36be6a77579810e8434 InDef1 SetDiff CanNotBeCase
f34913b669a19e752c7438697b887209fc0eb413 InDef2 SetDiff CanNotBeCase
c2b0f5db2b59764b16675d87ca6e6c078d1ad6fa InDef2 SetDiff CanNotBeCase
7ccc8719ae3a215c324efca446e4047a3fc7b5b4 FunInDef SetDiff TypeMismatch
10f730f3f7d2293b24ad414ff01100ee8d44b818 FunInDef SetDiff TypeMismatch
bcc04f5ee2562e19fd822c89a5b0ce88fd86526a Exists SetDiff TypeMismatch
10f8aec1823807b39d686a94880efb61cb2f9927 Exists SetDiff TypeMismatch
b6addedda69335a5813f125ee78250144da787bd Forall SetDiff TypeMismatch
fcd906fce569fb077f4a91b373e64cbf58473816 Forall SetDiff TypeMismatch
73d01777756d5553d436cb3f2413d020401d0d93 ExistsInDef SetDiff TypeMismatch
1b2c37656805478a7d5e0a6bca593b9f02c378bc ExistsInDef SetDiff TypeMismatch
d1e1dad3b6f5bfe6e8297841104ef0be93fcc5b9 ForallInDef SetDiff TypeMismatch
83cf9c73074e2ea7adae312af951c8dfdba7dafc ForallInDef SetDiff TypeMismatch
755d45f22d1a60fba6c130bf5fb3ec13e99e5d80 Choose SetDiff TypeMismatch
4774c1fd6cb6c0e9077cd1ccada6ac8eac63ef37 Choose SetDiff TypeMismatch
6a116faf0c71638f1a00bc5721791b6b5c219f80 ChooseInDef SetDiff TypeMismatch
300df93ca8e042b0012a11818a1a3b69ca52800f ChooseInDef SetDiff TypeMismatch
a0f1762c104fe72a36f159ac87985a1f7e12394f TupleEmpty SetDiff CanNotBeCase
4e1b3a0bb4810d2b3fd013af61dbb39d0b5ff1fc TupleEmpty SetDiff CanNotBeCase
dc9f27e5e31673a936616e8ebb33b7bdf21d49e1 Except0 SetDiff TypeMismatch
eb7cd05eca01c4abb245f0ed4411147ab7e87b7f Except0 SetDiff TypeMismatch
d7cc935b65695ae90e6911c98ef57b1b2977070f Except2FunTuple SetDiff TypeMismatch
9697c18e23a4d07c59fb8c51ea24b09a18075439 Except2FunTuple SetDiff TypeMismatch
a3a0b808b3a6f204f63d8dfc74a22c6e84f9d6f7 NumZero SetDiff TypeMismatch
711fd008b2f10603f4844dda6b387fda5cac92e1 NumZero SetDiff TypeMismatch
d8c9aec2293b1e443ecf7b5f02aa4ff6908d09ab NumOne SetDiff TypeMismatch
2b1bc8c49f1256757c7ef5233a3e133031b94398 NumOne SetDiff TypeMismatch
eed2a87227988c89aa8cf89905055512ea7771ea NumMaxInt SetDiff TypeMismatch
c70d159105a705e7e3f6f5d130c681f1e1155f66 NumMaxInt SetDiff TypeMismatch
69fe6c6583da868a854e891716bb002891657596 NumUnaryMinus SetDiff TypeMismatch
f1404dc2eb96223dbb848caf572392ebb8290543 NumUnaryMinus SetDiff TypeMismatch
1c450a974bd3dc3daf9fb582788e54d44c9ac7f4 NumPlus SetDiff TypeMismatch
8ce455c90bf21afad7e247807e5329a37a8f9ab5 NumPlus SetDiff TypeMismatch
1bf02d1cb37b6209f73dafe8370892d12fd53113 NumMinus SetDiff TypeMismatch
3f5ae9e59cbc610e86702aabe8e0a65df9f5ac29 NumMinus SetDiff TypeMismatch
7c7f9933d4ad3462222d00670e2017f0ec893d2a NumMul SetDiff TypeMismatch
26debed5001d168638bfd221bc7bba698f090dbb NumMul SetDiff TypeMismatch
da2be261b879053fc5181435b62bf8fb93232add NumDiv SetDiff TypeMismatch
971a32a91cffb68b9605f62d4629a5cea78a6d64 NumDiv SetDiff TypeMismatch
dc5f8b5371a36cfd7ecb6429704fd24b6f9b9bd8 NumMod SetDiff TypeMismatch
0961a9805f16b1d578968fbfe545972956358ebf NumMod SetDiff TypeMismatch
301d283c7599ca81d30e833fe1b75d5349356b9a NumPow SetDiff TypeMismatch
3c327038a662431e8cbf58c464d086b99817af68 NumPow SetDiff TypeMismatch
987373a3f41e1f7f006360bb4d9ae69547f064ff NumGt SetDiff TypeMismatch
f3c3bd10721558fdcadf6b1aec3844f2781094b2 NumGt SetDiff TypeMismatch
932a670211d46d25c8fd50bcf8be89f9bba49209 NumGe SetDiff TypeMismatch
499e95c1821aa0bce41baf876948ed1e2d8fbe68 NumGe SetDiff TypeMismatch
103e88bd35772cdf03b56b2d8f9eb003bb1ba4c5 NumLt SetDiff TypeMismatch
3752b3e56b1a67cef6ddbed7e4d32906194f78dd NumLt SetDiff TypeMismatch
53a49355e6bfbefee867f21de864e20056afca55 NumLe SetDiff TypeMismatch
db92e1fa4736a2f55689b50d9dc295f4c1a1792c NumLe SetDiff TypeMismatch
9d358946053742895fca0334c0183ddc3f98f566 DefFunInDef SetDiff TypeMismatch
2dc15fe9d7c7bf0ec5e5882c94225035b5c8a6f2 DefFunInDef SetDiff TypeMismatch
8160d377b36dcc262b7201473c0abf91cd238021 LetDefFunInDef SetDiff TypeMismatch
c4738eb31732dd6e94df0a2cd84b2bafe378b912 LetDefFunInDef SetDiff TypeMismatch
1f7c5fb71c61f5ca46fb630fad0cea33c449ba36 ConstantModelValue SetDiff CanNotBeCase
1685246596b07a7ca70d27b5b5241cd512cd8366 ConstantModelValue SetDiff CanNotBeCase
defe3dadb5b74d36e7aa7dd37adaad77363f42d0 Enabled SetDiff TypeMismatch
a349a8e88ee5f908058ba230f3d6be6ccad758a2 Enabled SetDiff TypeMismatch
53dfee0fa9e1f27e28a55e0a507dc0272fe8d5cd Assume SetDiff TypeMismatch
9b183d53ae831929b8c02255354fc8db70e2e3e3 Assume SetDiff TypeMismatch
0c2f4e3bfc680060ee610b56e7c1e15505bbf212 AssumeNamed SetDiff TypeMismatch
184fcd92c501d3b34fde157bc53f33bbf25737c0 AssumeNamed SetDiff TypeMismatch
65fc34ab27304d991b6702ccffb6abce34e53fa0 IfCond SetDiff TypeMismatch
42088f4a98d843d61171a4db8a393bea40cf7f5b IfCond SetDiff TypeMismatch
bcb55812a6b862b6407e277d64d7da9aaaccc474 Domain SetDiff TypeMismatch
616e7a0aca4a4c5774e372139818a44c18586dd8 Domain SetDiff TypeMismatch
67c66671e65307f53d5b930786549b0be945d297 Equivalence SetDiff TypeMismatch
6c3337219eb18ca700398bd61dc873cae0279344 Equivalence SetDiff TypeMismatch
95b4c76b4e5f34ae632113651cffd3bbc0834427 StringEmpty SetDiff TypeMismatch
0e6ddcec50cef97b4d7f975815e28d3d27c550d5 StringEmpty SetDiff TypeMismatch
a4067301daaad94cfeeefa2468fa69370ec83391 String SetDiff TypeMismatch
0ff604f4b7fc2246165c90f03b1279e1105869fb String SetDiff TypeMismatch
76c941912763926438a84be7eeec3529a283bf98 SeqLen SetDiff TypeMismatch
b11b4a5e13b4f3cb6f42f82d214ca8b3528fd0b4 SeqLen SetDiff TypeMismatch
b8e5cefbc249f0a5a8a09ffb244ab3ef9efe184f SeqConcat SetDiff TypeMismatch
7dd8010541f800d3da18eb81ae01b026a65e2b70 SeqConcat SetDiff TypeMismatch
2c86adc0b800a446ca923536859ea8a7aca4b165 NatSet SetDiff CanNotBeCase
8e46938b7eca019cec237935db02362f1c31b8aa NatSet SetDiff CanNotBeCase
c8ea0726784d2959fac6f25ddc4aee8f405177a2 IntSet SetDiff CanNotBeCase
247124d49bf70faeed55d19b0c75b1bbc9c3a9fa IntSet SetDiff CanNotBeCase
84c1e1a8cf7dcb4ed2ad397a401d9f2a753affcf StringSet SetDiff CanNotBeCase
66d67683dba6b8f1e7eb77682d1a34425be33663 StringSet SetDiff CanNotBeCase
98bfa96017042892c47fbf9e05fd7ca775f0c224 SeqSelectSeq SetDiff TypeMismatch
8d0e074bf97f1f0242e737112adcab97562b1e66 SeqSelectSeq SetDiff TypeMismatch
c5606af37cacb51b3b1a6ce803d4d212e6a8903b SeqSubSeq SetDiff TypeMismatch
b93aa1c272ff9e31ca409a782abf607272ece5d2 SeqSubSeq SetDiff TypeMismatch
9567bace657eba704875bd52f53222579a9fd607 NumRange SetDiff TypeMismatch
194a9b2dcd86590c56d716964f4172f25f54b2a4 NumRange SetDiff TypeMismatch
b84a7344b11fb751b10ea8044db8b334dbe058bf TlcExtendFun SetDiff TypeMismatch
f83c5655318c90d1b78ec9d5736e4672c27078c8 TlcExtendFun SetDiff TypeMismatch
7981835f90e6730b3b6fd1d38793765c219869ad TlcSortSeq SetDiff TypeMismatch
271c4cd7eddd6b823d19ccc7b7f7e66ea52ce49a TlcSortSeq SetDiff TypeMismatch
680c5acda389fbfac91a1afc6ec064cb0051ccae BagBagToSet SetDiff TypeMismatch
d028b9b7aac07c3091deb15f49fce60ac1f4714f BagBagToSet SetDiff TypeMismatch
054a97cb6db4be189ac1017ccb8b35a5c95a900b BagEmptyBag SetDiff CanNotBeCase
e61790a9b5eafd845cbce78af7e777ac1eb18eb3 BagEmptyBag SetDiff CanNotBeCase
1e98fa033291befe88de2dfd093c55054af759e9 BagAddBag SetDiff TypeMismatch
9327af0f89700d8e48ba1b512827dd8830e9e11b BagAddBag SetDiff TypeMismatch
3b5d990c621e53082d67b4fe2924f346e840fa21 BagBagSub SetDiff TypeMismatch
b753df7d83275bfdda2dc3f2452e40c9aa3ba033 BagBagSub SetDiff TypeMismatch
59987b23d81996581f5c2f93eeb32283cc20224d BagSubsetEqBag SetDiff TypeMismatch
bac5886fcdf5c7c046803036473da89e066f7c8c BagSubsetEqBag SetDiff TypeMismatch
f15e1f43fcaf76c968d61807db1f68859d764c1d BagBagCardinality SetDiff TypeMismatch
5fe99ec698b48ccd2dff2cbaaa675ca61e9aaca5 BagBagCardinality SetDiff TypeMismatch
49bd63fcd626c816113e0259c9b89f7416a15b6b BagBagOfAll SetDiff TypeMismatch
a6d7e081f5400f8c5f932a213310fdc3b93b57c0 BagBagOfAll SetDiff TypeMismatch
a2c15cf971e21dc89e9fe74bd0a486bc5d5bcf9a BagSubBag SetDiff TypeMismatch
9ae05b14781a319282eaff0516b32df591411518 BagSubBag SetDiff TypeMismatch
c9c1acdfa4740c0e240e9ba3ed4152fe14a0934a SeqHead SetDiff TypeMismatch
127ad95d7adb427211521e2da62aa60288df4031 SeqHead SetDiff TypeMismatch
d5380a21626f2a01bf2fef83277c466ab70609df SeqTail SetDiff TypeMismatch
eb717b494a8ab946e1c96cabd09063a4e845dc85 SeqTail SetDiff TypeMismatch