luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

documentation: avoid documentation rendering issue

This commit is contained in:
Iztok Jeras 2026-06-25 01:11:02 +02:00
parent 8dc32cbf4e
commit fdea4e3722
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
passes/sat/sat.cc
View File

@ -931,8 +931,8 @@ struct SatPass : public Pass {
log("and additional constraints passed as parameters.\n");
log("\n");
log(" -all\n");
log(" show all solutions to the problem (this can grow exponentially, use\n");
log(" -max <N> instead to get <N> solutions)\n");
log(" show all solutions to the problem (this can grow exponentially,\n");
log(" use -max <N> instead to get <N> solutions)\n");
log("\n");
log(" -max <N>\n");
log(" like -all, but limit number of solutions to <N>\n");