1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
Description: fix spelling errors
Author: Julien Puydt
Forwarded: https://github.com/msoos/cryptominisat/issues/622
--- cryptominisat.orig/src/cms_breakid.cpp
+++ cryptominisat/src/cms_breakid.cpp
@@ -211,7 +211,7 @@
if (solver->check_assumptions_contradict_foced_assignment()) {
if (solver->conf.verbosity) {
cout
- << "c [breakid] forced assignements contradicted by assumptions, cannot run"
+ << "c [breakid] forced assignments contradicted by assumptions, cannot run"
<< endl;
}
return false;
--- cryptominisat.orig/src/main.cpp
+++ cryptominisat/src/main.cpp
@@ -273,7 +273,7 @@
}
if (ret == l_True && !printResult && !toFile)
{
- cout << "c Not printing satisfying assignement. "
+ cout << "c Not printing satisfying assignment. "
"Use the '--printsol 1' option for that" << endl;
}
--- cryptominisat.orig/src/searcher.cpp
+++ cryptominisat/src/searcher.cpp
@@ -2203,7 +2203,7 @@
if (varData[v].removed != Removed::none
//NOTE: the level==0 check is needed because SLS calls this
//when there is a solution already, but we should only skip
- //level 0 assignements
+ //level 0 assignments
|| (value(v) != l_Undef && varData[v].level == 0)
) {
//
|
