def test_f64_const():
validate(f64_const, f64_const_ast)
def test_f32_const():
validate(f32_const, f32_const_ast)
def test_clock_get_time():
validate(time, time_ast)
def test_clock_get_res():
validate(res, res_ast)
def test_f32_symbolic():
validate(f32_symbolic, f32_symbolic_ast)
def test_f64_symbolic():
validate(f64_symbolic, f64_symbolic_ast)
def test_i64_symbolic():
validate(i64_symbolic, i64_symbolic_ast)
def test_i32_symbolic():
validate(i32_symbolic, i32_symbolic_ast)
def test_argv():
validate(argv, argv_ast)
def test_declare():
validate(declare, declare_ast)
def test_invoke_no_args():
validate(invoke_no_args, invoke_no_args_ast)
