Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (328 Bytes)

1
{
2
    "data": [
3
        {
4
            "datatype": "bool",
5
            "initial_value": "false",
6
            "name": "my_bool_var_false",
7
            "scope": "Output"
8
        }
9
    ],
10
    "junctions": [],
11
    "name": "simple_var_bool_false",
12
    "origin_path": "simple_var_bool_false",
13
    "sffunctions": [],
14
    "states": []
15
}