diff options
| author | Son Ho | 2021-11-17 14:52:44 +0100 |
|---|---|---|
| committer | Son Ho | 2021-11-17 14:52:44 +0100 |
| commit | 49b15dbc29deb712a551af321ce18ef8d3e446d0 (patch) | |
| tree | 7dd70ce4601112446d3039a908a3d2987ae21dea | |
| parent | 55113b54dfb29df9f53488c106a672bf2c63c293 (diff) | |
Make minor modifications
| -rw-r--r-- | src/CfimAst.ml | 2 | ||||
| -rw-r--r-- | src/main.ml | 8 |
2 files changed, 7 insertions, 3 deletions
diff --git a/src/CfimAst.ml b/src/CfimAst.ml index bb821bb7..6b882edb 100644 --- a/src/CfimAst.ml +++ b/src/CfimAst.ml @@ -39,7 +39,7 @@ type statement = | Assert of assertion | Call of call | Panic - | Returna + | Return | Break of int (** Break to (outer) loop. The [int] identifies the loop to break to: * 0: break to the first outer loop (the current loop) diff --git a/src/main.ml b/src/main.ml index 3a1d56ed..fc9e4efd 100644 --- a/src/main.ml +++ b/src/main.ml @@ -17,7 +17,11 @@ type rust_module = { let () = (* let json = Yojson.Basic.from_file "../charon/charon/tests/test1.cfim" in *) - let json = Yojson.Safe.from_file "../charon/charon/tests/test1.cfim" in - match rust_module_of_yojson json with + let _json1 = Yojson.Safe.from_file "../charon/charon/tests/test1.cfim" in + let json2 = Yojson.Safe.from_file "../charon/charon/tests/test4.cfim" in + match statement_of_yojson json2 with | Error s -> Printf.printf "error: %s\n" s | Ok _ast -> print_endline "ast" +(* match rust_module_of_yojson json with + | Error s -> Printf.printf "error: %s\n" s + | Ok _ast -> print_endline "ast"*) |