Revision 89ac5599
Added by Christophe Garion about 6 years ago
src/tools/stateflow/json-parser/test_json_parser_variables.ml | ||
---|---|---|
26 | 26 |
var.var_dec_const; |
27 | 27 |
assert_equal |
28 | 28 |
~msg:("problem with variable " ^ var.var_id ^ " clock type") |
29 |
var.var_dec_clock.ck_dec_desc
|
|
30 |
Ckdec_any;
|
|
29 |
Ckdec_any
|
|
30 |
var.var_dec_clock.ck_dec_desc;
|
|
31 | 31 |
assert_equal |
32 | 32 |
~msg:("problem with variable " ^ var.var_id ^ " ident") |
33 |
var.var_id
|
|
34 |
id; |
|
33 |
id |
|
34 |
var.var_id;
|
|
35 | 35 |
assert_equal |
36 | 36 |
~msg:("problem with variable " ^ var.var_id ^ " type") |
37 |
var.var_dec_type.ty_dec_desc
|
|
38 |
var_type;
|
|
37 |
var_type
|
|
38 |
var.var_dec_type.ty_dec_desc;
|
|
39 | 39 |
match var.var_dec_value with |
40 | 40 |
| Some { expr_desc = d } -> |
41 | 41 |
assert_equal |
42 | 42 |
~msg:("problem with variable " ^ var.var_id ^ " value") |
43 |
d |
|
44 | 43 |
value |
44 |
d |
|
45 | 45 |
| _ -> raise (OUnitTest.OUnit_failure |
46 | 46 |
"User variables should have an initial value") |
47 | 47 |
end |
Also available in: Unified diff
json-parser: switch arguments for assert_equal (expected/actual)