mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-02 10:54:04 +03:00
196a81ad29
Some important simplifications for classification were failing to fire because other simplifications fired first, short circuiting the search. It turns out that more than one rule may apply at any given step (and it is important to apply all of the rules that can be applied). This commit modifies the simplifier to apply rules until saturation.
10 lines
87 B
C
10 lines
87 B
C
int g = -11;
|
|
int h = -12;
|
|
|
|
void _start() {
|
|
if (g != h) {
|
|
g = 1;
|
|
h = 2;
|
|
}
|
|
}
|