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

| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (323 Bytes)

+      {
           "data": [
+              {
                   "datatype": "bool",
                   "initial_value": "true",
                   "name": "my_bool_var_true",
                   "scope": "Input"
+              }
           ],
           "junctions": [],
           "name": "simple_var_bool_true",
           "origin_path": "simple_var_bool_true",
           "sffunctions": [],
           "states": []
+      }