Skip to content
Snippets Groups Projects
Commit 1e138e22 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[tests] dune: fix test directory 'pdg'

parent 5202f4ff
No related branches found
No related tags found
No related merge requests found
...@@ -30,7 +30,7 @@ let main _ = ...@@ -30,7 +30,7 @@ let main _ =
let kf = Globals.Functions.find_def_by_name "main" in let kf = Globals.Functions.find_def_by_name "main" in
let pdg = !Db.Pdg.get kf in let pdg = !Db.Pdg.get kf in
Format.printf "%a@." (!Db.Pdg.pretty ~bw:false) pdg; Format.printf "%a@." (!Db.Pdg.pretty ~bw:false) pdg;
!Db.Pdg.extract pdg (ptest_file "tests/pdg/result/" "dyn_dpds_0.dot"); !Db.Pdg.extract pdg (ptest_file "" "dyn_dpds_0.dot");
let assert_sid = 5 in (* assert ( *p>G) *) let assert_sid = 5 in (* assert ( *p>G) *)
let assert_stmt, kf = Kernel_function.find_from_sid assert_sid in let assert_stmt, kf = Kernel_function.find_from_sid assert_sid in
let _assert_node = let _assert_node =
...@@ -51,6 +51,6 @@ let main _ = ...@@ -51,6 +51,6 @@ let main _ =
Format.printf "Warning : cannot select %a in this function...@\n" Format.printf "Warning : cannot select %a in this function...@\n"
Locations.Zone.pretty undef; Locations.Zone.pretty undef;
Format.printf "%a@." (!Db.Pdg.pretty ~bw:false) pdg; Format.printf "%a@." (!Db.Pdg.pretty ~bw:false) pdg;
!Db.Pdg.extract pdg (ptest_file "tests/pdg/result/" "dyn_dpds_1.dot") !Db.Pdg.extract pdg (ptest_file "" "dyn_dpds_1.dot")
let () = Db.Main.extend main let () = Db.Main.extend main
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment