Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / stateflow / json-parser / test_json_parser_variables.ml @ 5c0d6e4e

History | View | Annotate | Download (5.88 KB)

# Date Author Comment
5c0d6e4e 10/10/2017 10:54 PM Christophe Garion

json-parser: more tests with single variables

2b95979d 10/10/2017 05:39 PM Christophe Garion

json-parser: change variables names in tests

0291fcfd 10/10/2017 05:37 PM Christophe Garion

json-parser: add test for boolean variable true

f5c1e4c1 10/10/2017 05:33 PM Christophe Garion

json-parser: refactor first test

550e6a83 10/10/2017 05:30 PM Christophe Garion

json-parser: first unit test for JSON parser (variables)