-./solve.native ./tests/docs/XPath-FT.xml -f ./tests/queries/XPath-FT.queries
\ No newline at end of file
+./solve.native ./tests/docs/XPath-FT.xml -f ./tests/queries/XPath-FT.queries 1
\ No newline at end of file
list
else failwith "Use -f"
-let build_asta query =
- let asta = Compil.trans query in
- asta
-
let compute_run doc query =
let run = Run.compute doc query in
run
let rec solve_queries = function
| [] -> ()
| query :: tl ->
- let asta = build_asta query in
+ let asta = Compil.trans query in
let selected_nodes = Run.selected_nodes doc asta in
let run = compute_run doc asta in
fprintf err_formatter "\n ### Query: %a"
Run.print err_formatter run;
end
else ();
+ let asta = Asta.empty in
solve_queries tl in
solve_queries queries;
exit 0
let doc = doc () in
let query = query () in
let asta = build_asta query in
- let run = compute_run doc asata in
+ let run = compute_run doc asta in
let selected_nodes = Run.selected_nodes doc asta in
Format.pp_set_margin err_formatter 80;
fprintf err_formatter "@[<v 0>##### Query #####@. %a@]\n"