Skip to content

[prove] added option -H to tune proof strategy

Loïc Correnson requested to merge feature/status into master

Using -H [0-4] to select to which level of the proof strategy is run when exploring new goals.

Merge request reports