Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

Remove TODO in src/passes.ml:automaton_translation

Browse Source 
As Antoine Grimod said that it was already done.
This commit is contained in:
Benjamin Loison 2022-12-19 17:45:33 +01:00
parent e63123d8f6
commit 10838d3f2d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes.ml
View File

@ -698,7 +698,7 @@ let automaton_translation debug automaton =
in in
let rec translate_var s v explist ty = match explist with let rec translate_var s v explist ty = match explist with
| [] -> default_constant ty (* TODO *) | [] -> default_constant ty
| (state, exp)::q -> | (state, exp)::q ->
ETriOp(Utils.type_exp exp, TOp_if, ETriOp(Utils.type_exp exp, TOp_if,
EComp([TBool], COp_eq, EComp([TBool], COp_eq,