Update REPL tests

This commit is contained in:
Nikita Mounier 2022-04-11 23:28:50 +00:00
parent dbb91639e9
commit 82a01c876e
No known key found for this signature in database
GPG Key ID: 75B0014B3C53D474

View File

@ -61,23 +61,35 @@ fn num_rem() {
#[cfg(not(feature = "wasm"))]
#[test]
fn num_floor_division_success() {
expect_success("Num.divFloor 4 3", "Ok 1 : Result (Int *) [ DivByZero ]*");
fn num_floor_division() {
expect_success("Num.divFloor 4 3", "1 : Int *");
}
#[cfg(not(feature = "wasm"))]
#[test]
fn num_floor_division_divby_zero() {
fn num_floor_checked_division_success() {
expect_success("Num.divFloorChecked 4 3", "Ok 1 : Result (Int *) [ DivByZero ]*");
}
#[cfg(not(feature = "wasm"))]
#[test]
fn num_floor_checked_division_divby_zero() {
expect_success(
"Num.divFloor 4 0",
"Num.divFloorChecked 4 0",
"Err DivByZero : Result (Int *) [ DivByZero ]*",
);
}
#[cfg(not(feature = "wasm"))]
#[test]
fn num_ceil_division_success() {
expect_success("Num.divCeil 4 3", "Ok 2 : Result (Int *) [ DivByZero ]*")
fn num_ceil_division() {
expect_success("Num.divCeil 4 3", "2 : Int *")
}
#[cfg(not(feature = "wasm"))]
#[test]
fn num_ceil_checked_division_success() {
expect_success("Num.divCeilChecked 4 3", "Ok 2 : Result (Int *) [ DivByZero ]*")
}
#[test]