Project

General

Profile

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

View differences:

src/tools/stateflow/json-parser/test_json_parser_variables.ml
146 146
  | _ -> raise (OUnitTest.OUnit_failure
147 147
                  "Program obtained from simple-var-real-neg.json is not correct")
148 148

  
149
let test_simple_var_real_e tests_ctxt =
150
  let prog = Parse.parse_prog
151
      (Yojson.Basic.from_file "../data-test/simple-var-real-e.json") in
152
  match prog with
153
  | Program ("simple_var_real_e", [ ], [ x ]) ->
154
    test_var_skeleton x "my_real_var_e"
155
      Tydec_real (Expr_const (Const_real (Num.num_of_int (-2115), 4, "-21.15e-02")))
156
  | _ -> raise (OUnitTest.OUnit_failure
157
                  "Program obtained from simple-var-real-e.json is not correct")
158

  
149 159
let test_simple_var_real_wo_dec tests_ctxt =
150 160
  assert_raises (Parse.JSON_parse_error("Invalid real constant 2500"))
151 161
    (fun _ -> Parse.parse_prog (Yojson.Basic.from_file
......
169 179
    test_simple_var_real_pos;
170 180
    "simple test for variable (real, -2.24)"  >::
171 181
    test_simple_var_real_neg;
182
    "simple test for variable (real, -21.15e-02)"  >::
183
    test_simple_var_real_e;
172 184
    "simple test for variable (real, 2500)"  >::
173 185
    test_simple_var_real_wo_dec;
174 186
  ]

Also available in: Unified diff