mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-22 16:45:32 +00:00
Code Activity

Corrected spelling mistakes found by lintian

Browse source
This commit is contained in:
Ruben Undheim 2014-09-06 08:47:06 +02:00
parent 01ef34c147
commit 79cbf9067c
22 changed files with 39 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

4
libs/minisat/Solver.h
View file

@ -103,7 +103,7 @@ public:
int nFreeVars () const;
void printStats () const; // Print some current statistics to standard output.
// Resource contraints:
// Resource constraints:
//
void setConfBudget(int64_t x);
void setPropBudget(int64_t x);
@ -230,7 +230,7 @@ protected:
double learntsize_adjust_confl;
int learntsize_adjust_cnt;
// Resource contraints:
// Resource constraints:
//
int64_t conflict_budget; // -1 means no budget.
int64_t propagation_budget; // -1 means no budget.