diff options
| author | Kathy Gray | 2017-01-07 23:45:12 +0000 |
|---|---|---|
| committer | Kathy Gray | 2017-01-07 23:45:22 +0000 |
| commit | 3835187bb3c11e9981acc56092ffdbbe7131bb74 (patch) | |
| tree | c54b441de600f9e1becf3bede209e00cd248df6d /src/reporting_basic.ml | |
| parent | aa8fc889a2666e287a1ef3806486f806d7a0bfea (diff) | |
Turn back on resolving branch nexp unification more than once. This is the right thing to do because otherwise the order of the resolution of branch constraints matters, and that's not easily controllable. This will require figuring out why it's infinite looping for ASL's checking rather than just turning it off.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions