src/main.ml


1
2
3
4
5
6
7
8

open CfimOfJson
(*open Interpreter*)

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"