lustrec-tests/stateflow_json/lustrec/simple-var-int-neg.json @ bd25d776
| 1 |
{
|
|---|---|
| 2 |
"data": [ |
| 3 |
{ |
| 4 |
"datatype": "int", |
| 5 |
"initial_value": "-5", |
| 6 |
"name": "my_int_var_neg", |
| 7 |
"scope": "Output" |
| 8 |
} |
| 9 |
], |
| 10 |
"junctions": [], |
| 11 |
"name": "simple_var_int_neg", |
| 12 |
"origin_path": "simple_var_int_neg", |
| 13 |
"sffunctions": [], |
| 14 |
"states": [] |
| 15 |
}
|