mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-15 13:28:59 +00:00
Code Activity

ezsat: fix incorrect logging references to function names

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-03-19 10:33:28 +01:00
parent 6da543a61a
commit 613a17b4a8
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
libs/ezsat/ezsat.cc
View file

@ -676,10 +676,10 @@ void ezSAT::preSolverCallback()
bool ezSAT::solver(const std::vector<int>&, std::vector<bool>&, const std::vector<int>&) bool ezSAT::solver(const std::vector<int>&, std::vector<bool>&, const std::vector<int>&)
{ {
preSolverCallback(); preSolverCallback();
fprintf(stderr, "************************************************************************\n"); fprintf(stderr, "*************************************************************************\n");
fprintf(stderr, "ERROR: You are trying to use the solve() method of the ezSAT base class!\n"); fprintf(stderr, "ERROR: You are trying to use the solver() method of the ezSAT base class!\n");
fprintf(stderr, "Use a dervied class like ezMiniSAT instead.\n"); fprintf(stderr, "Use a dervied class like ezMiniSAT instead.\n");
fprintf(stderr, "************************************************************************\n"); fprintf(stderr, "*************************************************************************\n");
abort(); abort();
} }
@ -1332,7 +1332,7 @@ void ezSAT::printInternalState(FILE *f) const
fprintf(f, "\n"); fprintf(f, "\n");
} }
if (cnfConsumed) if (cnfConsumed)
fprintf(f, " *** more clauses consumed via cnfConsume() ***\n"); fprintf(f, " *** more clauses consumed via consumeCnf() ***\n");
fprintf(f, "--8<-- snap --8<--\n"); fprintf(f, "--8<-- snap --8<--\n");
} }