Project

General

Profile

Revision 9ae027f8 src/tools/stateflow/json-parser/json_parser.ml

View differences:

src/tools/stateflow/json-parser/json_parser.ml
67 67
    Logs.debug (fun m -> m "parse_transition");
68 68
    {
69 69
      event          = json |> member "event"          |> Ext.parse_event;
70
      condition      = json |> member "condition"      |> Ext.parse_condition;
70
      condition      = json |> member "condition" |> Ext.parse_condition;
71 71
      condition_act  = json |> member "condition_act"  |> Ext.parse_action;
72 72
      transition_act = json |> member "transition_act" |> Ext.parse_action;
73 73
      dest           = json |> member "dest"           |> parse_dest
......
158 158
        Some initial_value
159 159
      )
160 160
end
161

  

Also available in: Unified diff