Fix tests

This commit is contained in:
bjorn3 2019-07-13 12:27:58 +02:00
parent 783430e6ae
commit 7b716e6285

View File

@ -707,35 +707,35 @@ fn main() {
// int/addsub.rs // int/addsub.rs
gen( gen(
|(a, b): (MyU128, MyU128)| Some(a.0.wrapping_add(b.0)), |(a, b): (MyU128, MyU128)| Some(a.0.wrapping_add(b.0)),
"builtins::int::addsub::rust_u128_add(a, b)", "builtins::int::addsub::__rust_u128_add(a, b)",
); );
gen( gen(
|(a, b): (MyI128, MyI128)| Some(a.0.wrapping_add(b.0)), |(a, b): (MyI128, MyI128)| Some(a.0.wrapping_add(b.0)),
"builtins::int::addsub::rust_i128_add(a, b)", "builtins::int::addsub::__rust_i128_add(a, b)",
); );
gen( gen(
|(a, b): (MyU128, MyU128)| Some(a.0.overflowing_add(b.0)), |(a, b): (MyU128, MyU128)| Some(a.0.overflowing_add(b.0)),
"builtins::int::addsub::rust_u128_addo(a, b)", "builtins::int::addsub::__rust_u128_addo(a, b)",
); );
gen( gen(
|(a, b): (MyI128, MyI128)| Some(a.0.overflowing_add(b.0)), |(a, b): (MyI128, MyI128)| Some(a.0.overflowing_add(b.0)),
"builtins::int::addsub::rust_i128_addo(a, b)", "builtins::int::addsub::__rust_i128_addo(a, b)",
); );
gen( gen(
|(a, b): (MyU128, MyU128)| Some(a.0.wrapping_sub(b.0)), |(a, b): (MyU128, MyU128)| Some(a.0.wrapping_sub(b.0)),
"builtins::int::addsub::rust_u128_sub(a, b)", "builtins::int::addsub::__rust_u128_sub(a, b)",
); );
gen( gen(
|(a, b): (MyI128, MyI128)| Some(a.0.wrapping_sub(b.0)), |(a, b): (MyI128, MyI128)| Some(a.0.wrapping_sub(b.0)),
"builtins::int::addsub::rust_i128_sub(a, b)", "builtins::int::addsub::__rust_i128_sub(a, b)",
); );
gen( gen(
|(a, b): (MyU128, MyU128)| Some(a.0.overflowing_sub(b.0)), |(a, b): (MyU128, MyU128)| Some(a.0.overflowing_sub(b.0)),
"builtins::int::addsub::rust_u128_subo(a, b)", "builtins::int::addsub::__rust_u128_subo(a, b)",
); );
gen( gen(
|(a, b): (MyI128, MyI128)| Some(a.0.overflowing_sub(b.0)), |(a, b): (MyI128, MyI128)| Some(a.0.overflowing_sub(b.0)),
"builtins::int::addsub::rust_i128_subo(a, b)", "builtins::int::addsub::__rust_i128_subo(a, b)",
); );
// int/mul.rs // int/mul.rs