Project

General

Profile

Revision f5c1e4c1 src/tools/stateflow/json-parser/test_json_parser_variables.ml

View differences:

src/tools/stateflow/json-parser/test_json_parser_variables.ml
46 46
                          "User variables should have an initial value")
47 47
  end
48 48

  
49
let test_simple_var_1 tests_ctxt =
49
let test_simple_var_bool_false tests_ctxt =
50 50
  let prog = Parse.parse_prog
51
      (Yojson.Basic.from_file "../data-test/simple-var-1.json") in
51
      (Yojson.Basic.from_file "../data-test/simple-var-bool-false.json") in
52 52
  match prog with
53 53
  | Program ("simple-var-1", [ ], [ x ]) ->
54 54
    test_var_skeleton x "x" Tydec_bool (Expr_const (Const_tag tag_false))
55 55
  | _ -> raise (OUnitTest.OUnit_failure
56
                  "Program obtained from simple-var-1 is not correct")
56
                  "Program obtained from simple-var-bool-false.json is not correct")
57 57

  
58 58
let var_suite =
59 59
  "suite for variables" >:::
60
  [ "simple test for variable 1" >:: test_simple_var_1 ]
60
  [ "simple test for variable (boolean, false)" >:: test_simple_var_bool_false ]
61 61

  
62 62
let _ =
63 63
  run_test_tt_main var_suite

Also available in: Unified diff