Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / examples / two_counters / tiny_input.json @ 9b0432bc

History | View | Annotate | Download (65 Bytes)

1
[
2
    {"var_name": "x", "type": "int", "inf": "-1", "sup": "1"}
3
]