Project

General

Profile

Revision 2b95979d src/tools/stateflow/json-parser/test_json_parser_variables.ml

View differences:

src/tools/stateflow/json-parser/test_json_parser_variables.ml
51 51
      (Yojson.Basic.from_file "../data-test/simple-var-bool-false.json") in
52 52
  match prog with
53 53
  | Program ("simple_var_bool_false", [ ], [ x ]) ->
54
    test_var_skeleton x "x" Tydec_bool (Expr_const (Const_tag tag_false))
54
    test_var_skeleton x "my_bool_var_false"
55
      Tydec_bool (Expr_const (Const_tag tag_false))
55 56
  | _ -> raise (OUnitTest.OUnit_failure
56 57
                  "Program obtained from simple-var-bool-false.json is not correct")
57 58

  
......
60 61
      (Yojson.Basic.from_file "../data-test/simple-var-bool-true.json") in
61 62
  match prog with
62 63
  | Program ("simple_var_bool_true", [ ], [ x ]) ->
63
    test_var_skeleton x "my_var" Tydec_bool (Expr_const (Const_tag tag_true))
64
    test_var_skeleton x "my_bool_var_true"
65
      Tydec_bool (Expr_const (Const_tag tag_true))
64 66
  | _ -> raise (OUnitTest.OUnit_failure
65 67
                  "Program obtained from simple-var-bool-true.json is not correct")
66 68

  

Also available in: Unified diff