(executable
 (name run_bench)
 (libraries prover_lib unix))

(executable
 (name check_regression)
 (libraries unix))

(executable
 (name compare_portfolio)
 (libraries prover_lib unix))

(executable
 (name compare_modes)
 (libraries prover_lib unix))

(executable
 (name profile_problems)
 (libraries prover_lib unix))

(executable
 (name analyze_profiled_bench)
 (libraries unix))

(rule
 (alias runtest)
 (deps (glob_files_rec %{project_root}/bench/problems/*.p))
 (action
   (setenv VIP_BIN %{exe:../src/main.exe}
    (run ./run_bench.exe --onlyvip --dir problems --time-limit 1))))
