summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
ecc1938)
Signed-off-by: Marco Costalba <mcostalba@gmail.com>
/// Version number. If this is left empty, the current date (in the format
/// YYMMDD) is used as a version number.
/// Version number. If this is left empty, the current date (in the format
/// YYMMDD) is used as a version number.
-const std::string EngineVersion = "1.1a";
+const std::string EngineVersion = "";
o.push_back(Option("Futility Margin 2", 300, 0, 1000));
o.push_back(Option("Maximum Razoring Depth", 3, 0, 4));
o.push_back(Option("Razoring Margin", 300, 150, 600));
o.push_back(Option("Futility Margin 2", 300, 0, 1000));
o.push_back(Option("Maximum Razoring Depth", 3, 0, 4));
o.push_back(Option("Razoring Margin", 300, 150, 600));
- o.push_back(Option("LSN filtering", false));
+ o.push_back(Option("LSN filtering", true));
o.push_back(Option("LSN Time Margin (sec)", 4, 1, 10));
o.push_back(Option("LSN Value Margin", 200, 100, 600));
o.push_back(Option("Randomness", 0, 0, 10));
o.push_back(Option("LSN Time Margin (sec)", 4, 1, 10));
o.push_back(Option("LSN Value Margin", 200, 100, 600));
o.push_back(Option("Randomness", 0, 0, 10));