mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 12:08:19 +00:00
Code Activity

Merge pull request #4949 from YosysHQ/emil/ezsat-fix-function-names

Browse source 
ezsat: fix incorrect logging references to function names
This commit is contained in:
Emil J 2025-03-19 17:47:46 +01:00 committed by GitHub
parent b33787edcb 613a17b4a8
commit 29cf4a9190
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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");
} }