Skip to content
Snippets Groups Projects
Commit 09bfc860 authored by Pierre Loic Garoche's avatar Pierre Loic Garoche
Browse files

Cleaning

parent aaf75cc1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/tools/tiny/tiny_verifier.ml
+ 1
− 1
View file @ 09bfc860
...@@ -50,7 +50,7 @@ let tiny_run ~basename prog machines = ...@@ -50,7 +50,7 @@ let tiny_run ~basename prog machines =
let m = Machine_code_common.get_machine machines node_name in let m = Machine_code_common.get_machine machines node_name in
let env = (* We add each variables of the node the Tiny env *) let env = (* We add each variables of the node the Tiny env *)
Tiny_utils.machine_to_env m in Tiny_utils.machine_to_env m in
let nd = m.mname in (*let nd = m.mname in*)
(* Building preamble with some bounds on inputs *) (* Building preamble with some bounds on inputs *)
(* TODO: deal woth contracts, asserts, ... *) (* TODO: deal woth contracts, asserts, ... *)
let bounds_inputs = [] in let bounds_inputs = [] in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment