summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
3234ad6)
auto should be the new one even when the paramodulation flag is given.
let int = int params in
let bool = bool params in
let newauto = bool "new" false in
let int = int params in
let bool = bool params in
let newauto = bool "new" false in
+ let use_only_paramod = bool "paramodulation" false in
+ let newauto = if use_only_paramod then true else newauto in
let depth = int "depth" ((AutoTypes.default_flags()).AutoTypes.maxdepth) in
let width = int "width" ((AutoTypes.default_flags()).AutoTypes.maxwidth) in
if not newauto then
let depth = int "depth" ((AutoTypes.default_flags()).AutoTypes.maxdepth) in
let width = int "width" ((AutoTypes.default_flags()).AutoTypes.maxwidth) in
if not newauto then