diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-10-10 17:06:02 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-10-10 17:07:24 +0200 |
| commit | 7cb0d3aa1acf37025e82846f809d066356a98843 (patch) | |
| tree | 876138751aacae1e16f8793efce55955461450fc /passes/sat/eval.cc | |
| parent | 4569a747f8af3880e23408eb93323afc8088b78b (diff) | |
| download | yosys-7cb0d3aa1acf37025e82846f809d066356a98843.tar.gz yosys-7cb0d3aa1acf37025e82846f809d066356a98843.tar.bz2 yosys-7cb0d3aa1acf37025e82846f809d066356a98843.zip | |
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
Diffstat (limited to 'passes/sat/eval.cc')
| -rw-r--r-- | passes/sat/eval.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc index 875896fcd..7a5a02a9b 100644 --- a/passes/sat/eval.cc +++ b/passes/sat/eval.cc @@ -204,7 +204,7 @@ struct VlogHammerReporter if (y_undef.at(i)) { log(" Toggling undef bit %d to test undef gating.\n", i); - if (!ez.solve(y_vec, y_values, ez.IFF(y_vec.at(i), y_values.at(i) ? ez.FALSE : ez.TRUE))) + if (!ez.solve(y_vec, y_values, ez.IFF(y_vec.at(i), y_values.at(i) ? ez.CONST_FALSE : ez.CONST_TRUE))) log_error("Failed to find solution with toggled bit!\n"); cmp_vars.push_back(y_vec.at(expected_y.size() + i)); |