Commit 642c12d4 authored by MARCHE Claude's avatar MARCHE Claude

test-claude s execute

parent 90d38215
......@@ -38,16 +38,6 @@ let autodetection () =
in
save_config config
(*
Whyconf.set_loadpath [Filename.concat Config.datadir "theories"];
Whyconf.set_driverpath (Filename.concat Config.datadir "drivers");
Whyconf.add_driver_config "Alt-Ergo 0.9" "alt_ergo.drv" "alt-ergo";
Whyconf.add_driver_config "Z3 2.2" "z3.drv" "z3";
Whyconf.add_driver_config "CVC3 2.1" "cvc3.drv" "cvc3";
Whyconf.add_driver_config "Coq 8.3" "coq.drv" "coqc";
Whyconf.save ()
*)
let config =
try
Whyconf.read_config ()
......@@ -67,9 +57,11 @@ let () =
let fname = "test"
let fname = "tests/test-claude"
let loadpath = config.loadpath
let loadpath = ["../theories"]
let () = printf "Load path is: %a@." (Pp.print_list Pp.comma Pp.string) loadpath
let env = Why.Env.create_env (Why.Typing.retrieve loadpath)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment