Revision 2b95979d - json-parser: change variables names in tests - LustreC

« Previous | Next »

Revision 2b95979d

ID	2b95979d78f4012327435575ae63eef0cc7be916
Parent	0291fcfd
Child	5c0d6e4e

Added by Christophe Garion over 2 years ago

json-parser: change variables names in tests

Files

added
modified
copied
renamed
deleted

View differences

data-test
- simple-var-bool-false.json (diff)
- simple-var-bool-true.json (diff)
src
- tools
  - stateflow
    - json-parser
      - test_json_parser_variables.ml (diff)