/data-test/simple-var-bool-false.json - LustreC

| Branch: | Tag: | Revision:

lustrec / data-test / simple-var-bool-false.json @ 2b95979d

History | View | Annotate | Download (328 Bytes)

+      {
           "data": [
+              {
                   "datatype": "bool",
                   "initial_value": "false",
                   "name": "my_bool_var_false",
                   "scope": "Output"
+              }
           ],
           "junctions": [],
           "name": "simple_var_bool_false",
           "origin_path": "simple_var_bool_false",
           "sffunctions": [],
           "states": []
+      }