summaryrefslogtreecommitdiff
path: root/src/main.ml
blob: 63bfd3a9e528e01bda4f6c90f9091e3af71c8bdf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
open CfimOfJson
open Interpreter
open Errors

(* This is necessary to have a backtrace when raising exceptions - for some
 * reason, the -g option doesn't work *)
let () = Printexc.record_backtrace true

let () =
  let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in
  match cfim_module_of_json json with
  | Error s -> Printf.printf "error: %s\n" s
  | Ok _ast -> print_endline "Ok"