diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-09-03 15:39:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-03 15:39:58 +0200 |
| commit | 337f8b791943e9b6b9a234f4f5422cf173342dd9 (patch) | |
| tree | 52250ac0a79463eb52fa617c6c34e958ee91ebf3 /src/preprocessing/passes/bv_to_int.cpp | |
| parent | edd69cb2570692f36bf26b658e967c317ebc048e (diff) | |
Make nonlinear extension (more) deterministic (#4996)
This PR tries to make the nonlinear extension more deterministic by keeping the order of input assertion (instead of taking them from a hash set). This makes the ordering somewhat more robust against varying node ids, which proved to be a problem for debugging...
Also adds a few logging messages at interesting places.
Diffstat (limited to 'src/preprocessing/passes/bv_to_int.cpp')
0 files changed, 0 insertions, 0 deletions