invalid.h

// Automatically generated by 'features/generate'.

// Pairs of invalid features.

"--no-best", "--no-cdcl",
"--no-best", "--no-rephase",
"--no-best", "--no-save",
"--no-best", "--no-stable",
"--no-best", "--no-target",
"--no-block", "--no-virtual",
"--no-block", "--no-watches",
"--no-bump", "--no-bump-reasons",
"--no-bump", "--no-inverted",
"--no-bump", "--no-restart",
"--no-bump", "--no-reuse",
"--no-bump", "--no-reusestable",
"--no-bump", "--no-sort-analyzed",
"--no-bump", "--no-vmtf",
"--no-bump", "--no-vsids",
"--no-cache", "--no-watches",
"--no-cdcl", "--no-chrono",
"--no-cdcl", "--no-chronoreuse",
"--no-cdcl", "--no-focused",
"--no-cdcl", "--no-glue",
"--no-cdcl", "--no-inprocessing",
"--no-cdcl", "--no-learn",
"--no-cdcl", "--no-minimize",
"--no-cdcl", "--no-reduce",
"--no-cdcl", "--no-restart",
"--no-cdcl", "--no-reuse",
"--no-cdcl", "--no-reusestable",
"--no-cdcl", "--no-shrink",
"--no-cdcl", "--no-sort-analyzed",
"--no-cdcl", "--no-sort-deduced",
"--no-cdcl", "--no-stable",
"--no-cdcl", "--no-tier1",
"--no-cdcl", "--no-tier2",
"--no-cdcl", "--no-used",
"--no-cdcl", "--no-vmtf",
"--no-cdcl", "--no-vsids",
"--no-chrono", "--no-chronoreuse",
"--no-chrono", "--no-control",
"--no-chronoreuse", "--no-control",
"--no-control", "--no-shrink",
"--no-control", "--no-vivification",
"--no-control", "--no-vivificationlimits",
"--no-control", "--no-vivifyimply",
"--no-elimination", "--no-elimination-limits",
"--no-elimination", "--no-simplification",
"--no-elimination", "--no-strengthening",
"--no-elimination", "--no-subsumption",
"--no-elimination", "--no-subsumption-limits",
"--no-elimination", "--no-watches",
"--no-elimination-limits", "--no-limits",
"--no-elimination-limits", "--no-simplification",
"--no-elimination-limits", "--no-watches",
"--no-focused", "--no-stable",
"--no-focused", "--no-vmtf",
"--no-glue", "--no-learn",
"--no-glue", "--no-reduce",
"--no-glue", "--no-tier1",
"--no-glue", "--no-tier2",
"--no-inprocessing", "--no-learn",
"--no-inprocessing", "--no-simplification",
"--no-inverted", "--no-rephase",
"--no-inverted", "--no-save",
"--no-learn", "--no-minimize",
"--no-learn", "--no-reduce",
"--no-learn", "--no-restart",
"--no-learn", "--no-reuse",
"--no-learn", "--no-reusestable",
"--no-learn", "--no-shrink",
"--no-learn", "--no-sort-deduced",
"--no-learn", "--no-tier1",
"--no-learn", "--no-tier2",
"--no-learn", "--no-used",
"--no-limits", "--no-subsumption-limits",
"--no-minimize", "--no-shrink",
"--no-reduce", "--no-tier1",
"--no-reduce", "--no-tier2",
"--no-reduce", "--no-used",
"--no-rephase", "--no-save",
"--no-restart", "--no-reuse",
"--no-restart", "--no-reusestable",
"--no-reuse", "--no-reusestable",
"--no-shrink", "--no-sort-deduced",
"--no-simplification", "--no-strengthening",
"--no-simplification", "--no-subsumption",
"--no-simplification", "--no-subsumption-limits",
"--no-sort-analyzed", "--no-vmtf",
"--no-stable", "--no-target",
"--no-stable", "--no-vsids",
"--no-strengthening", "--no-subsumption",
"--no-strengthening", "--no-watches",
"--no-subsumption", "--no-subsumption-limits",
"--no-subsumption", "--no-watches",
"--no-subsumption-limits", "--no-watches",
"--no-tier1", "--no-tier2",
"--no-tier2", "--no-used",
"--no-virtual", "--no-watches",
"--no-vivification", "--no-vivificationlimits",
"--no-vivification", "--no-vivifyimply",