forked from arminbiere/satch
-
Notifications
You must be signed in to change notification settings - Fork 0
/
check.sh
105 lines (101 loc) · 8.22 KB
/
check.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
# Automatically generated by 'features/generate'.
# Check implied disabled features are not disabled.
[ $block = no -a $virtual = no ] && die "'--no-block' implies '--no-virtual'"
[ $bump = no -a $bumpreasons = no ] && die "'--no-bump' implies '--no-bump-reasons'"
[ $bump = no -a $inverted = no ] && die "'--no-bump' implies '--no-inverted'"
[ $bump = no -a $restart = no ] && die "'--no-bump' implies '--no-restart'"
[ $bump = no -a $reuse = no ] && die "'--no-bump' implies '--no-reuse'"
[ $bump = no -a $reusestable = no ] && die "'--no-bump' implies '--no-reusestable'"
[ $bump = no -a $sortanalyzed = no ] && die "'--no-bump' implies '--no-sort-analyzed'"
[ $bump = no -a $vmtf = no ] && die "'--no-bump' implies '--no-vmtf'"
[ $bump = no -a $vsids = no ] && die "'--no-bump' implies '--no-vsids'"
[ $cdcl = no -a $best = no ] && die "'--no-cdcl' implies '--no-best'"
[ $cdcl = no -a $chrono = no ] && die "'--no-cdcl' implies '--no-chrono'"
[ $cdcl = no -a $chronoreuse = no ] && die "'--no-cdcl' implies '--no-chronoreuse'"
[ $cdcl = no -a $focused = no ] && die "'--no-cdcl' implies '--no-focused'"
[ $cdcl = no -a $glue = no ] && die "'--no-cdcl' implies '--no-glue'"
[ $cdcl = no -a $inprocessing = no ] && die "'--no-cdcl' implies '--no-inprocessing'"
[ $cdcl = no -a $learn = no ] && die "'--no-cdcl' implies '--no-learn'"
[ $cdcl = no -a $minimize = no ] && die "'--no-cdcl' implies '--no-minimize'"
[ $cdcl = no -a $reduce = no ] && die "'--no-cdcl' implies '--no-reduce'"
[ $cdcl = no -a $restart = no ] && die "'--no-cdcl' implies '--no-restart'"
[ $cdcl = no -a $reuse = no ] && die "'--no-cdcl' implies '--no-reuse'"
[ $cdcl = no -a $reusestable = no ] && die "'--no-cdcl' implies '--no-reusestable'"
[ $cdcl = no -a $shrink = no ] && die "'--no-cdcl' implies '--no-shrink'"
[ $cdcl = no -a $sortanalyzed = no ] && die "'--no-cdcl' implies '--no-sort-analyzed'"
[ $cdcl = no -a $sortdeduced = no ] && die "'--no-cdcl' implies '--no-sort-deduced'"
[ $cdcl = no -a $tier1 = no ] && die "'--no-cdcl' implies '--no-tier1'"
[ $cdcl = no -a $tier2 = no ] && die "'--no-cdcl' implies '--no-tier2'"
[ $cdcl = no -a $used = no ] && die "'--no-cdcl' implies '--no-used'"
[ $cdcl = no -a $vmtf = no ] && die "'--no-cdcl' implies '--no-vmtf'"
[ $cdcl = no -a $vsids = no ] && die "'--no-cdcl' implies '--no-vsids'"
[ $chrono = no -a $chronoreuse = no ] && die "'--no-chrono' implies '--no-chronoreuse'"
[ $control = no -a $chrono = no ] && die "'--no-control' implies '--no-chrono'"
[ $control = no -a $chronoreuse = no ] && die "'--no-control' implies '--no-chronoreuse'"
[ $control = no -a $shrink = no ] && die "'--no-control' implies '--no-shrink'"
[ $control = no -a $vivification = no ] && die "'--no-control' implies '--no-vivification'"
[ $control = no -a $vivificationlimits = no ] && die "'--no-control' implies '--no-vivificationlimits'"
[ $control = no -a $vivifyimply = no ] && die "'--no-control' implies '--no-vivifyimply'"
[ $elimination = no -a $eliminationlimits = no ] && die "'--no-elimination' implies '--no-elimination-limits'"
[ $elimination = no -a $strengthening = no ] && die "'--no-elimination' implies '--no-strengthening'"
[ $elimination = no -a $subsumption = no ] && die "'--no-elimination' implies '--no-subsumption'"
[ $elimination = no -a $subsumptionlimits = no ] && die "'--no-elimination' implies '--no-subsumption-limits'"
[ $glue = no -a $tier1 = no ] && die "'--no-glue' implies '--no-tier1'"
[ $glue = no -a $tier2 = no ] && die "'--no-glue' implies '--no-tier2'"
[ $learn = no -a $glue = no ] && die "'--no-learn' implies '--no-glue'"
[ $learn = no -a $inprocessing = no ] && die "'--no-learn' implies '--no-inprocessing'"
[ $learn = no -a $minimize = no ] && die "'--no-learn' implies '--no-minimize'"
[ $learn = no -a $reduce = no ] && die "'--no-learn' implies '--no-reduce'"
[ $learn = no -a $restart = no ] && die "'--no-learn' implies '--no-restart'"
[ $learn = no -a $reuse = no ] && die "'--no-learn' implies '--no-reuse'"
[ $learn = no -a $reusestable = no ] && die "'--no-learn' implies '--no-reusestable'"
[ $learn = no -a $shrink = no ] && die "'--no-learn' implies '--no-shrink'"
[ $learn = no -a $sortdeduced = no ] && die "'--no-learn' implies '--no-sort-deduced'"
[ $learn = no -a $tier1 = no ] && die "'--no-learn' implies '--no-tier1'"
[ $learn = no -a $tier2 = no ] && die "'--no-learn' implies '--no-tier2'"
[ $learn = no -a $used = no ] && die "'--no-learn' implies '--no-used'"
[ $limits = no -a $eliminationlimits = no ] && die "'--no-limits' implies '--no-elimination-limits'"
[ $limits = no -a $subsumptionlimits = no ] && die "'--no-limits' implies '--no-subsumption-limits'"
[ $minimize = no -a $shrink = no ] && die "'--no-minimize' implies '--no-shrink'"
[ $reduce = no -a $glue = no ] && die "'--no-reduce' implies '--no-glue'"
[ $reduce = no -a $tier1 = no ] && die "'--no-reduce' implies '--no-tier1'"
[ $reduce = no -a $tier2 = no ] && die "'--no-reduce' implies '--no-tier2'"
[ $reduce = no -a $used = no ] && die "'--no-reduce' implies '--no-used'"
[ $rephase = no -a $best = no ] && die "'--no-rephase' implies '--no-best'"
[ $rephase = no -a $inverted = no ] && die "'--no-rephase' implies '--no-inverted'"
[ $restart = no -a $reuse = no ] && die "'--no-restart' implies '--no-reuse'"
[ $restart = no -a $reusestable = no ] && die "'--no-restart' implies '--no-reusestable'"
[ $reuse = no -a $reusestable = no ] && die "'--no-reuse' implies '--no-reusestable'"
[ $save = no -a $best = no ] && die "'--no-save' implies '--no-best'"
[ $save = no -a $inverted = no ] && die "'--no-save' implies '--no-inverted'"
[ $save = no -a $rephase = no ] && die "'--no-save' implies '--no-rephase'"
[ $simplification = no -a $elimination = no ] && die "'--no-simplification' implies '--no-elimination'"
[ $simplification = no -a $eliminationlimits = no ] && die "'--no-simplification' implies '--no-elimination-limits'"
[ $simplification = no -a $inprocessing = no ] && die "'--no-simplification' implies '--no-inprocessing'"
[ $simplification = no -a $strengthening = no ] && die "'--no-simplification' implies '--no-strengthening'"
[ $simplification = no -a $subsumption = no ] && die "'--no-simplification' implies '--no-subsumption'"
[ $simplification = no -a $subsumptionlimits = no ] && die "'--no-simplification' implies '--no-subsumption-limits'"
[ $sortdeduced = no -a $shrink = no ] && die "'--no-sort-deduced' implies '--no-shrink'"
[ $stable = no -a $best = no ] && die "'--no-stable' implies '--no-best'"
[ $stable = no -a $target = no ] && die "'--no-stable' implies '--no-target'"
[ $subsumption = no -a $strengthening = no ] && die "'--no-subsumption' implies '--no-strengthening'"
[ $subsumption = no -a $subsumptionlimits = no ] && die "'--no-subsumption' implies '--no-subsumption-limits'"
[ $target = no -a $best = no ] && die "'--no-target' implies '--no-best'"
[ $tier1 = no -a $tier2 = no ] && die "'--no-tier1' implies '--no-tier2'"
[ $used = no -a $tier2 = no ] && die "'--no-used' implies '--no-tier2'"
[ $vivification = no -a $vivificationlimits = no ] && die "'--no-vivification' implies '--no-vivificationlimits'"
[ $vivification = no -a $vivifyimply = no ] && die "'--no-vivification' implies '--no-vivifyimply'"
[ $vmtf = no -a $sortanalyzed = no ] && die "'--no-vmtf' implies '--no-sort-analyzed'"
[ $watches = no -a $block = no ] && die "'--no-watches' implies '--no-block'"
[ $watches = no -a $cache = no ] && die "'--no-watches' implies '--no-cache'"
[ $watches = no -a $elimination = no ] && die "'--no-watches' implies '--no-elimination'"
[ $watches = no -a $eliminationlimits = no ] && die "'--no-watches' implies '--no-elimination-limits'"
[ $watches = no -a $strengthening = no ] && die "'--no-watches' implies '--no-strengthening'"
[ $watches = no -a $subsumption = no ] && die "'--no-watches' implies '--no-subsumption'"
[ $watches = no -a $subsumptionlimits = no ] && die "'--no-watches' implies '--no-subsumption-limits'"
[ $watches = no -a $virtual = no ] && die "'--no-watches' implies '--no-virtual'"
# Check clashing disabled features.
[ $cdcl = no -a $stable = no ] && die "can not combine '--no-cdcl' and '--no-stable'"
[ $focused = no -a $stable = no ] && die "can not combine '--no-focused' and '--no-stable'"
[ $focused = no -a $vmtf = no ] && die "can not combine '--no-focused' and '--no-vmtf'"
[ $stable = no -a $vsids = no ] && die "can not combine '--no-stable' and '--no-vsids'"