fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2024-12-05 02:20:19 +00:00
Code Issues Projects Releases Wiki Activity

Update spectests

Browse Source
This commit is contained in:
Steve Akinyemi 2018-11-07 11:18:55 +01:00
parent 069fc3229a
commit df0feb9b7f
58 changed files with 1148 additions and 1259 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/spectests/address.rs
View File

@ -1287,7 +1287,6 @@ fn c86_l207_assert_malformed() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -3123,7 +3122,6 @@ fn c206_l495_assert_trap() {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -3508,7 +3506,6 @@ fn c224_l542_assert_trap() {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -3801,7 +3798,6 @@ fn c242_l589_assert_trap() {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);

24
src/spectests/align.rs
View File

@ -37,7 +37,6 @@ fn start_module_1(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -63,7 +62,6 @@ fn start_module_2(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -89,7 +87,6 @@ fn start_module_3(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -115,7 +112,6 @@ fn start_module_4(result_object: &ResultObject) {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -141,7 +137,6 @@ fn start_module_5(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -167,7 +162,6 @@ fn start_module_6(result_object: &ResultObject) {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);
@ -193,7 +187,6 @@ fn start_module_7(result_object: &ResultObject) {
#[test]
fn test_module_7() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_7();
// We group the calls together
start_module_7(&result_object);
@ -219,7 +212,6 @@ fn start_module_8(result_object: &ResultObject) {
#[test]
fn test_module_8() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_8();
// We group the calls together
start_module_8(&result_object);
@ -245,7 +237,6 @@ fn start_module_9(result_object: &ResultObject) {
#[test]
fn test_module_9() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_9();
// We group the calls together
start_module_9(&result_object);
@ -271,7 +262,6 @@ fn start_module_10(result_object: &ResultObject) {
#[test]
fn test_module_10() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_10();
// We group the calls together
start_module_10(&result_object);
@ -297,7 +287,6 @@ fn start_module_11(result_object: &ResultObject) {
#[test]
fn test_module_11() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_11();
// We group the calls together
start_module_11(&result_object);
@ -323,7 +312,6 @@ fn start_module_12(result_object: &ResultObject) {
#[test]
fn test_module_12() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_12();
// We group the calls together
start_module_12(&result_object);
@ -349,7 +337,6 @@ fn start_module_13(result_object: &ResultObject) {
#[test]
fn test_module_13() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_13();
// We group the calls together
start_module_13(&result_object);
@ -375,7 +362,6 @@ fn start_module_14(result_object: &ResultObject) {
#[test]
fn test_module_14() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_14();
// We group the calls together
start_module_14(&result_object);
@ -401,7 +387,6 @@ fn start_module_15(result_object: &ResultObject) {
#[test]
fn test_module_15() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_15();
// We group the calls together
start_module_15(&result_object);
@ -427,7 +412,6 @@ fn start_module_16(result_object: &ResultObject) {
#[test]
fn test_module_16() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_16();
// We group the calls together
start_module_16(&result_object);
@ -453,7 +437,6 @@ fn start_module_17(result_object: &ResultObject) {
#[test]
fn test_module_17() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_17();
// We group the calls together
start_module_17(&result_object);
@ -479,7 +462,6 @@ fn start_module_18(result_object: &ResultObject) {
#[test]
fn test_module_18() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_18();
// We group the calls together
start_module_18(&result_object);
@ -505,7 +487,6 @@ fn start_module_19(result_object: &ResultObject) {
#[test]
fn test_module_19() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_19();
// We group the calls together
start_module_19(&result_object);
@ -531,7 +512,6 @@ fn start_module_20(result_object: &ResultObject) {
#[test]
fn test_module_20() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_20();
// We group the calls together
start_module_20(&result_object);
@ -557,7 +537,6 @@ fn start_module_21(result_object: &ResultObject) {
#[test]
fn test_module_21() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_21();
// We group the calls together
start_module_21(&result_object);
@ -583,7 +562,6 @@ fn start_module_22(result_object: &ResultObject) {
#[test]
fn test_module_22() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_22();
// We group the calls together
start_module_22(&result_object);
@ -1273,7 +1251,6 @@ fn c105_l452_assert_invalid() {
#[test]
fn test_module_23() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_23();
// We group the calls together
start_module_23(&result_object);
@ -2408,7 +2385,6 @@ fn c152_l850_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_24() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_24();
// We group the calls together
start_module_24(&result_object);

16
src/spectests/binary.rs
View File

@ -31,7 +31,6 @@ fn start_module_1(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -51,7 +50,6 @@ fn start_module_2(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -71,7 +69,6 @@ fn start_module_3(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -315,7 +312,6 @@ fn c31_l44_assert_malformed() {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -336,7 +332,6 @@ fn start_module_5(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -357,7 +352,6 @@ fn start_module_6(result_object: &ResultObject) {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);
@ -378,7 +372,6 @@ fn start_module_7(result_object: &ResultObject) {
#[test]
fn test_module_7() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_7();
// We group the calls together
start_module_7(&result_object);
@ -399,7 +392,6 @@ fn start_module_8(result_object: &ResultObject) {
#[test]
fn test_module_8() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_8();
// We group the calls together
start_module_8(&result_object);
@ -420,7 +412,6 @@ fn start_module_9(result_object: &ResultObject) {
#[test]
fn test_module_9() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_9();
// We group the calls together
start_module_9(&result_object);
@ -441,7 +432,6 @@ fn start_module_10(result_object: &ResultObject) {
#[test]
fn test_module_10() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_10();
// We group the calls together
start_module_10(&result_object);
@ -462,7 +452,6 @@ fn start_module_11(result_object: &ResultObject) {
#[test]
fn test_module_11() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_11();
// We group the calls together
start_module_11(&result_object);
@ -483,7 +472,6 @@ fn start_module_12(result_object: &ResultObject) {
#[test]
fn test_module_12() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_12();
// We group the calls together
start_module_12(&result_object);
@ -504,7 +492,6 @@ fn start_module_13(result_object: &ResultObject) {
#[test]
fn test_module_13() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_13();
// We group the calls together
start_module_13(&result_object);
@ -525,7 +512,6 @@ fn start_module_14(result_object: &ResultObject) {
#[test]
fn test_module_14() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_14();
// We group the calls together
start_module_14(&result_object);
@ -547,7 +533,6 @@ fn start_module_15(result_object: &ResultObject) {
#[test]
fn test_module_15() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_15();
// We group the calls together
start_module_15(&result_object);
@ -815,7 +800,6 @@ fn c74_l577_assert_malformed() {
#[test]
fn test_module_16() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_16();
// We group the calls together
start_module_16(&result_object);

33
src/spectests/block.rs
View File

@ -2042,7 +2042,6 @@ fn c167_l1089_assert_malformed() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -2064,23 +2063,23 @@ fn test_module_1() {
c16_l271_action_invoke(&result_object);
c17_l273_action_invoke(&result_object);
c18_l274_action_invoke(&result_object);
// c19_l276_action_invoke(&result_object);
// c20_l277_action_invoke(&result_object);
// c21_l278_action_invoke(&result_object);
c19_l276_action_invoke(&result_object);
c20_l277_action_invoke(&result_object);
c21_l278_action_invoke(&result_object);
c22_l280_action_invoke(&result_object);
// c23_l281_action_invoke(&result_object);
// c24_l283_action_invoke(&result_object);
// c25_l284_action_invoke(&result_object);
// c26_l285_action_invoke(&result_object);
// c27_l286_action_invoke(&result_object);
// c28_l287_action_invoke(&result_object);
// c29_l288_action_invoke(&result_object);
// c30_l289_action_invoke(&result_object);
// c31_l290_action_invoke(&result_object);
// c32_l291_action_invoke(&result_object);
// c33_l293_action_invoke(&result_object);
// c34_l294_action_invoke(&result_object);
// c35_l295_action_invoke(&result_object);
c23_l281_action_invoke(&result_object);
c24_l283_action_invoke(&result_object);
c25_l284_action_invoke(&result_object);
c26_l285_action_invoke(&result_object);
c27_l286_action_invoke(&result_object);
c28_l287_action_invoke(&result_object);
c29_l288_action_invoke(&result_object);
c30_l289_action_invoke(&result_object);
c31_l290_action_invoke(&result_object);
c32_l291_action_invoke(&result_object);
c33_l293_action_invoke(&result_object);
c34_l294_action_invoke(&result_object);
c35_l295_action_invoke(&result_object);
c36_l296_action_invoke(&result_object);
c37_l298_action_invoke(&result_object);
c38_l299_action_invoke(&result_object);

1
src/spectests/br.rs
View File

@ -1386,7 +1386,6 @@ fn c70_l454_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/br_if.rs
View File

@ -1726,7 +1726,6 @@ fn c103_l559_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/br_table.rs
View File

@ -2665,7 +2665,6 @@ fn c161_l1526_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/break_drop.rs
View File

@ -83,7 +83,6 @@ fn c3_l9_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

118
src/spectests/call.rs
View File

@ -891,9 +891,21 @@ fn c48_l264_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 268
fn c49_l268_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c49_l268_action_invoke");
// Line 266
fn c49_l266_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c49_l266_action_invoke");
let func_index = match result_object.module.info.exports.get("as-memory.grow-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(&Instance) -> i32 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(&result_object.instance);
assert_eq!(result, 1 as i32);
}
// Line 267
fn c50_l267_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c50_l267_action_invoke");
let func_index = match result_object.module.info.exports.get("as-return-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -903,9 +915,9 @@ fn c49_l268_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 306 as i32);
}
// Line 269
fn c50_l269_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c50_l269_action_invoke");
// Line 268
fn c51_l268_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c51_l268_action_invoke");
let func_index = match result_object.module.info.exports.get("as-drop-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -915,9 +927,9 @@ fn c50_l269_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 270
fn c51_l270_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c51_l270_action_invoke");
// Line 269
fn c52_l269_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c52_l269_action_invoke");
let func_index = match result_object.module.info.exports.get("as-br-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -927,9 +939,9 @@ fn c51_l270_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 306 as i32);
}
// Line 271
fn c52_l271_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c52_l271_action_invoke");
// Line 270
fn c53_l270_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c53_l270_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_local-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -939,9 +951,9 @@ fn c52_l271_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 306 as i32);
}
// Line 272
fn c53_l272_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c53_l272_action_invoke");
// Line 271
fn c54_l271_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c54_l271_action_invoke");
let func_index = match result_object.module.info.exports.get("as-tee_local-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -951,9 +963,9 @@ fn c53_l272_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 306 as i32);
}
// Line 273
fn c54_l273_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c54_l273_action_invoke");
// Line 272
fn c55_l272_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c55_l272_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_global-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -963,9 +975,9 @@ fn c54_l273_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 306 as i32);
}
// Line 274
fn c55_l274_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c55_l274_action_invoke");
// Line 273
fn c56_l273_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c56_l273_action_invoke");
let func_index = match result_object.module.info.exports.get("as-load-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -975,97 +987,97 @@ fn c55_l274_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 279
// Line 278
#[test]
fn c56_l279_assert_invalid() {
fn c57_l278_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 3, 2, 0, 0, 10, 10, 2, 5, 0, 16, 1, 69, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 286
// Line 285
#[test]
fn c57_l286_assert_invalid() {
fn c58_l285_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 0, 0, 96, 0, 1, 126, 3, 3, 2, 0, 1, 10, 12, 2, 5, 0, 16, 1, 69, 11, 4, 0, 66, 1, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 294
// Line 293
#[test]
fn c58_l294_assert_invalid() {
fn c59_l293_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 0, 0, 96, 1, 127, 0, 3, 3, 2, 0, 1, 10, 9, 2, 4, 0, 16, 1, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 301
// Line 300
#[test]
fn c59_l301_assert_invalid() {
fn c60_l300_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 124, 127, 0, 3, 3, 2, 0, 1, 10, 9, 2, 4, 0, 16, 1, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 308
// Line 307
#[test]
fn c60_l308_assert_invalid() {
fn c61_l307_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 3, 2, 0, 0, 10, 11, 2, 6, 0, 65, 1, 16, 1, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 315
// Line 314
#[test]
fn c61_l315_assert_invalid() {
fn c62_l314_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 3, 2, 0, 0, 10, 20, 2, 15, 0, 68, 0, 0, 0, 0, 0, 0, 0, 64, 65, 1, 16, 1, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 323
// Line 322
#[test]
fn c62_l323_assert_invalid() {
fn c63_l322_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 127, 127, 0, 3, 3, 2, 0, 1, 10, 12, 2, 7, 0, 1, 65, 1, 16, 1, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 330
// Line 329
#[test]
fn c63_l330_assert_invalid() {
fn c64_l329_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 127, 127, 0, 3, 3, 2, 0, 1, 10, 12, 2, 7, 0, 65, 1, 1, 16, 1, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 337
// Line 336
#[test]
fn c64_l337_assert_invalid() {
fn c65_l336_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 127, 124, 0, 3, 3, 2, 0, 1, 10, 20, 2, 15, 0, 68, 0, 0, 0, 0, 0, 0, 240, 63, 65, 1, 16, 1, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 344
// Line 343
#[test]
fn c65_l344_assert_invalid() {
fn c66_l343_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 0, 0, 96, 2, 124, 127, 0, 3, 3, 2, 0, 1, 10, 20, 2, 15, 0, 65, 1, 68, 0, 0, 0, 0, 0, 0, 240, 63, 16, 1, 11, 2, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 355
// Line 354
#[test]
fn c66_l355_assert_invalid() {
fn c67_l354_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 6, 1, 4, 0, 16, 1, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 359
// Line 358
#[test]
fn c67_l359_assert_invalid() {
fn c68_l358_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 10, 1, 8, 0, 16, 148, 152, 219, 226, 3, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
@ -1073,7 +1085,6 @@ fn c67_l359_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -1122,11 +1133,12 @@ fn test_module_1() {
c45_l260_action_invoke(&result_object);
c47_l263_action_invoke(&result_object);
c48_l264_action_invoke(&result_object);
c49_l268_action_invoke(&result_object);
c50_l269_action_invoke(&result_object);
c51_l270_action_invoke(&result_object);
c52_l271_action_invoke(&result_object);
c53_l272_action_invoke(&result_object);
c54_l273_action_invoke(&result_object);
c55_l274_action_invoke(&result_object);
c49_l266_action_invoke(&result_object);
c50_l267_action_invoke(&result_object);
c51_l268_action_invoke(&result_object);
c52_l269_action_invoke(&result_object);
c53_l270_action_invoke(&result_object);
c54_l271_action_invoke(&result_object);
c55_l272_action_invoke(&result_object);
c56_l273_action_invoke(&result_object);
}

178
src/spectests/call_indirect.rs
View File

@ -1645,9 +1645,21 @@ fn c93_l523_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 527
fn c94_l527_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c94_l527_action_invoke");
// Line 525
fn c94_l525_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c94_l525_action_invoke");
let func_index = match result_object.module.info.exports.get("as-memory.grow-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(&Instance) -> i32 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(&result_object.instance);
assert_eq!(result, 1 as i32);
}
// Line 526
fn c95_l526_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c95_l526_action_invoke");
let func_index = match result_object.module.info.exports.get("as-return-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1657,9 +1669,9 @@ fn c94_l527_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 528
fn c95_l528_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c95_l528_action_invoke");
// Line 527
fn c96_l527_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c96_l527_action_invoke");
let func_index = match result_object.module.info.exports.get("as-drop-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1669,9 +1681,9 @@ fn c95_l528_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 529
fn c96_l529_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c96_l529_action_invoke");
// Line 528
fn c97_l528_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c97_l528_action_invoke");
let func_index = match result_object.module.info.exports.get("as-br-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1681,9 +1693,9 @@ fn c96_l529_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1.0 as f32);
}
// Line 530
fn c97_l530_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c97_l530_action_invoke");
// Line 529
fn c98_l529_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c98_l529_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_local-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1693,9 +1705,9 @@ fn c97_l530_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1.0 as f64);
}
// Line 531
fn c98_l531_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c98_l531_action_invoke");
// Line 530
fn c99_l530_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c99_l530_action_invoke");
let func_index = match result_object.module.info.exports.get("as-tee_local-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1705,9 +1717,9 @@ fn c98_l531_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1.0 as f64);
}
// Line 532
fn c99_l532_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c99_l532_action_invoke");
// Line 531
fn c100_l531_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c100_l531_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_global-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1717,9 +1729,9 @@ fn c99_l532_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1.0 as f64);
}
// Line 533
fn c100_l533_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c100_l533_action_invoke");
// Line 532
fn c101_l532_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c101_l532_action_invoke");
let func_index = match result_object.module.info.exports.get("as-load-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1729,217 +1741,217 @@ fn c100_l533_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 538
// Line 537
#[test]
fn c101_l538_assert_malformed() {
fn c102_l537_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 550
// Line 549
#[test]
fn c102_l550_assert_malformed() {
fn c103_l549_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 562
// Line 561
#[test]
fn c103_l562_assert_malformed() {
fn c104_l561_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 574
// Line 573
#[test]
fn c104_l574_assert_malformed() {
fn c105_l573_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 586
// Line 585
#[test]
fn c105_l586_assert_malformed() {
fn c106_l585_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 598
// Line 597
#[test]
fn c106_l598_assert_malformed() {
fn c107_l597_assert_malformed() {
let wasm_binary = [40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 608
// Line 607
#[test]
fn c107_l608_assert_malformed() {
fn c108_l607_assert_malformed() {
let wasm_binary = [40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 112, 97, 114, 97, 109, 32, 36, 120, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 615
// Line 614
#[test]
fn c108_l615_assert_malformed() {
fn c109_l614_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 625
// Line 624
#[test]
fn c109_l625_assert_malformed() {
fn c110_l624_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 635
// Line 634
#[test]
fn c110_l635_assert_malformed() {
fn c111_l634_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 645
// Line 644
#[test]
fn c111_l645_assert_malformed() {
fn c112_l644_assert_malformed() {
let wasm_binary = [40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 32, 40, 102, 117, 110, 99, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 41, 41, 40, 116, 97, 98, 108, 101, 32, 48, 32, 97, 110, 121, 102, 117, 110, 99, 41, 40, 102, 117, 110, 99, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 40, 99, 97, 108, 108, 95, 105, 110, 100, 105, 114, 101, 99, 116, 32, 40, 116, 121, 112, 101, 32, 36, 115, 105, 103, 41, 32, 40, 112, 97, 114, 97, 109, 32, 105, 51, 50, 41, 32, 40, 114, 101, 115, 117, 108, 116, 32, 105, 51, 50, 41, 32, 32, 32, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 40, 105, 51, 50, 46, 99, 111, 110, 115, 116, 32, 48, 41, 32, 32, 41, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 660
// Line 659
#[test]
fn c112_l660_assert_invalid() {
fn c113_l659_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 9, 1, 7, 0, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 668
// Line 667
#[test]
fn c113_l668_assert_invalid() {
fn c114_l667_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 10, 1, 8, 0, 65, 0, 17, 0, 0, 69, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 676
// Line 675
#[test]
fn c114_l676_assert_invalid() {
fn c115_l675_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 0, 1, 126, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 10, 1, 8, 0, 65, 0, 17, 0, 0, 69, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 685
// Line 684
#[test]
fn c115_l685_assert_invalid() {
fn c116_l684_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 1, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 9, 1, 7, 0, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 693
// Line 692
#[test]
fn c116_l693_assert_invalid() {
fn c117_l692_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 124, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 9, 1, 7, 0, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 701
// Line 700
#[test]
fn c117_l701_assert_invalid() {
fn c118_l700_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 11, 1, 9, 0, 65, 1, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 709
// Line 708
#[test]
fn c118_l709_assert_invalid() {
fn c119_l708_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 20, 1, 18, 0, 68, 0, 0, 0, 0, 0, 0, 0, 64, 65, 1, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 720
// Line 719
#[test]
fn c119_l720_assert_invalid() {
fn c120_l719_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 1, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 10, 1, 8, 0, 65, 1, 1, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 728
// Line 727
#[test]
fn c120_l728_assert_invalid() {
fn c121_l727_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 8, 2, 96, 1, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 11, 1, 9, 0, 65, 0, 66, 1, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 737
// Line 736
#[test]
fn c121_l737_assert_invalid() {
fn c122_l736_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 127, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 12, 1, 10, 0, 1, 65, 1, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 747
// Line 746
#[test]
fn c122_l747_assert_invalid() {
fn c123_l746_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 127, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 12, 1, 10, 0, 65, 1, 1, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 757
// Line 756
#[test]
fn c123_l757_assert_invalid() {
fn c124_l756_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 127, 124, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 20, 1, 18, 0, 68, 0, 0, 0, 0, 0, 0, 240, 63, 65, 1, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 767
// Line 766
#[test]
fn c124_l767_assert_invalid() {
fn c125_l766_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 9, 2, 96, 2, 124, 127, 0, 96, 0, 0, 3, 2, 1, 1, 4, 4, 1, 112, 0, 0, 10, 20, 1, 18, 0, 65, 1, 68, 0, 0, 0, 0, 0, 0, 240, 63, 65, 0, 17, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 781
// Line 780
#[test]
fn c125_l781_assert_invalid() {
fn c126_l780_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 9, 1, 7, 0, 65, 0, 17, 1, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 788
// Line 787
#[test]
fn c126_l788_assert_invalid() {
fn c127_l787_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 4, 4, 1, 112, 0, 0, 10, 13, 1, 11, 0, 65, 0, 17, 148, 152, 219, 226, 3, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 799
// Line 798
#[test]
fn c127_l799_assert_invalid() {
fn c128_l798_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 4, 5, 1, 112, 1, 2, 2, 9, 8, 1, 0, 65, 0, 11, 2, 0, 0];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
@ -1947,7 +1959,6 @@ fn c127_l799_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -2039,11 +2050,12 @@ fn test_module_1() {
c91_l520_action_invoke(&result_object);
c92_l522_action_invoke(&result_object);
c93_l523_action_invoke(&result_object);
c94_l527_action_invoke(&result_object);
c95_l528_action_invoke(&result_object);
c96_l529_action_invoke(&result_object);
c97_l530_action_invoke(&result_object);
c98_l531_action_invoke(&result_object);
c99_l532_action_invoke(&result_object);
c100_l533_action_invoke(&result_object);
c94_l525_action_invoke(&result_object);
c95_l526_action_invoke(&result_object);
c96_l527_action_invoke(&result_object);
c97_l528_action_invoke(&result_object);
c98_l529_action_invoke(&result_object);
c99_l530_action_invoke(&result_object);
c100_l531_action_invoke(&result_object);
c101_l532_action_invoke(&result_object);
}

4
src/spectests/comments.rs
View File

@ -31,7 +31,6 @@ fn start_module_1(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -51,7 +50,6 @@ fn start_module_2(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -71,7 +69,6 @@ fn start_module_3(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -89,7 +86,6 @@ fn start_module_4(result_object: &ResultObject) {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);

28
src/spectests/const_.rs
View File

@ -35,7 +35,6 @@ fn start_module_1(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -75,7 +74,6 @@ fn c3_l12_assert_malformed() {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -99,7 +97,6 @@ fn start_module_3(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -139,7 +136,6 @@ fn c7_l23_assert_malformed() {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -163,7 +159,6 @@ fn start_module_5(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -203,7 +198,6 @@ fn c11_l34_assert_malformed() {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);
@ -227,7 +221,6 @@ fn start_module_7(result_object: &ResultObject) {
#[test]
fn test_module_7() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_7();
// We group the calls together
start_module_7(&result_object);
@ -267,7 +260,6 @@ fn c15_l45_assert_malformed() {
#[test]
fn test_module_8() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_8();
// We group the calls together
start_module_8(&result_object);
@ -291,7 +283,6 @@ fn start_module_9(result_object: &ResultObject) {
#[test]
fn test_module_9() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_9();
// We group the calls together
start_module_9(&result_object);
@ -315,7 +306,6 @@ fn start_module_10(result_object: &ResultObject) {
#[test]
fn test_module_10() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_10();
// We group the calls together
start_module_10(&result_object);
@ -339,7 +329,6 @@ fn start_module_11(result_object: &ResultObject) {
#[test]
fn test_module_11() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_11();
// We group the calls together
start_module_11(&result_object);
@ -363,7 +352,6 @@ fn start_module_12(result_object: &ResultObject) {
#[test]
fn test_module_12() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_12();
// We group the calls together
start_module_12(&result_object);
@ -387,7 +375,6 @@ fn start_module_13(result_object: &ResultObject) {
#[test]
fn test_module_13() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_13();
// We group the calls together
start_module_13(&result_object);
@ -443,7 +430,6 @@ fn c25_l68_assert_malformed() {
#[test]
fn test_module_14() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_14();
// We group the calls together
start_module_14(&result_object);
@ -467,7 +453,6 @@ fn start_module_15(result_object: &ResultObject) {
#[test]
fn test_module_15() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_15();
// We group the calls together
start_module_15(&result_object);
@ -507,7 +492,6 @@ fn c29_l79_assert_malformed() {
#[test]
fn test_module_16() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_16();
// We group the calls together
start_module_16(&result_object);
@ -531,7 +515,6 @@ fn start_module_17(result_object: &ResultObject) {
#[test]
fn test_module_17() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_17();
// We group the calls together
start_module_17(&result_object);
@ -571,7 +554,6 @@ fn c33_l90_assert_malformed() {
#[test]
fn test_module_18() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_18();
// We group the calls together
start_module_18(&result_object);
@ -595,7 +577,6 @@ fn start_module_19(result_object: &ResultObject) {
#[test]
fn test_module_19() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_19();
// We group the calls together
start_module_19(&result_object);
@ -619,7 +600,6 @@ fn start_module_20(result_object: &ResultObject) {
#[test]
fn test_module_20() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_20();
// We group the calls together
start_module_20(&result_object);
@ -643,7 +623,6 @@ fn start_module_21(result_object: &ResultObject) {
#[test]
fn test_module_21() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_21();
// We group the calls together
start_module_21(&result_object);
@ -667,7 +646,6 @@ fn start_module_22(result_object: &ResultObject) {
#[test]
fn test_module_22() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_22();
// We group the calls together
start_module_22(&result_object);
@ -691,7 +669,6 @@ fn start_module_23(result_object: &ResultObject) {
#[test]
fn test_module_23() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_23();
// We group the calls together
start_module_23(&result_object);
@ -747,7 +724,6 @@ fn c43_l113_assert_malformed() {
#[test]
fn test_module_24() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_24();
// We group the calls together
start_module_24(&result_object);
@ -771,7 +747,6 @@ fn start_module_25(result_object: &ResultObject) {
#[test]
fn test_module_25() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_25();
// We group the calls together
start_module_25(&result_object);
@ -811,7 +786,6 @@ fn c47_l124_assert_malformed() {
#[test]
fn test_module_26() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_26();
// We group the calls together
start_module_26(&result_object);
@ -835,7 +809,6 @@ fn start_module_27(result_object: &ResultObject) {
#[test]
fn test_module_27() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_27();
// We group the calls together
start_module_27(&result_object);
@ -873,7 +846,6 @@ fn c51_l135_assert_malformed() {
#[test]
fn test_module_28() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_28();
// We group the calls together
start_module_28(&result_object);

1
src/spectests/conversions.rs
View File

@ -5566,7 +5566,6 @@ fn c401_l461_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

3
src/spectests/custom.rs
View File

@ -31,7 +31,6 @@ fn start_module_1(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -51,7 +50,6 @@ fn start_module_2(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -131,7 +129,6 @@ fn c9_l115_assert_malformed() {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);

19
src/spectests/data.rs
View File

@ -44,7 +44,6 @@ fn start_module_1(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -66,7 +65,6 @@ fn start_module_2(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -88,7 +86,6 @@ fn start_module_3(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -114,7 +111,6 @@ fn start_module_4(result_object: &ResultObject) {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -141,7 +137,6 @@ fn start_module_5(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -164,7 +159,6 @@ fn start_module_6(result_object: &ResultObject) {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);
@ -187,7 +181,6 @@ fn start_module_7(result_object: &ResultObject) {
#[test]
fn test_module_7() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_7();
// We group the calls together
start_module_7(&result_object);
@ -209,7 +202,6 @@ fn start_module_8(result_object: &ResultObject) {
#[test]
fn test_module_8() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_8();
// We group the calls together
start_module_8(&result_object);
@ -231,7 +223,6 @@ fn start_module_9(result_object: &ResultObject) {
#[test]
fn test_module_9() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_9();
// We group the calls together
start_module_9(&result_object);
@ -253,7 +244,6 @@ fn start_module_10(result_object: &ResultObject) {
#[test]
fn test_module_10() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_10();
// We group the calls together
start_module_10(&result_object);
@ -275,7 +265,6 @@ fn start_module_11(result_object: &ResultObject) {
#[test]
fn test_module_11() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_11();
// We group the calls together
start_module_11(&result_object);
@ -297,7 +286,6 @@ fn start_module_12(result_object: &ResultObject) {
#[test]
fn test_module_12() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_12();
// We group the calls together
start_module_12(&result_object);
@ -319,7 +307,6 @@ fn start_module_13(result_object: &ResultObject) {
#[test]
fn test_module_13() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_13();
// We group the calls together
start_module_13(&result_object);
@ -341,7 +328,6 @@ fn start_module_14(result_object: &ResultObject) {
#[test]
fn test_module_14() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_14();
// We group the calls together
start_module_14(&result_object);
@ -363,7 +349,6 @@ fn start_module_15(result_object: &ResultObject) {
#[test]
fn test_module_15() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_15();
// We group the calls together
start_module_15(&result_object);
@ -385,7 +370,6 @@ fn start_module_16(result_object: &ResultObject) {
#[test]
fn test_module_16() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_16();
// We group the calls together
start_module_16(&result_object);
@ -407,7 +391,6 @@ fn start_module_17(result_object: &ResultObject) {
#[test]
fn test_module_17() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_17();
// We group the calls together
start_module_17(&result_object);
@ -429,7 +412,6 @@ fn start_module_18(result_object: &ResultObject) {
#[test]
fn test_module_18() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_18();
// We group the calls together
start_module_18(&result_object);
@ -525,7 +507,6 @@ fn c38_l330_assert_invalid() {
#[test]
fn test_module_19() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_19();
// We group the calls together
start_module_19(&result_object);

1
src/spectests/endianness.rs
View File

@ -1049,7 +1049,6 @@ fn c68_l217_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

50
src/spectests/exports.rs
View File

@ -34,7 +34,6 @@ fn start_module_1(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -58,7 +57,6 @@ fn start_module_2(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -83,7 +81,6 @@ fn start_module_3(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -106,7 +103,6 @@ fn start_module_4(result_object: &ResultObject) {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -131,7 +127,6 @@ fn start_module_5(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -155,7 +150,6 @@ fn start_module_6(result_object: &ResultObject) {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);
@ -178,7 +172,6 @@ fn start_module_7(result_object: &ResultObject) {
#[test]
fn test_module_7() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_7();
// We group the calls together
start_module_7(&result_object);
@ -201,7 +194,6 @@ fn start_module_8(result_object: &ResultObject) {
#[test]
fn test_module_8() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_8();
// We group the calls together
start_module_8(&result_object);
@ -224,7 +216,6 @@ fn start_module_9(result_object: &ResultObject) {
#[test]
fn test_module_9() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_9();
// We group the calls together
start_module_9(&result_object);
@ -247,7 +238,6 @@ fn start_module_10(result_object: &ResultObject) {
#[test]
fn test_module_10() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_10();
// We group the calls together
start_module_10(&result_object);
@ -270,7 +260,6 @@ fn start_module_11(result_object: &ResultObject) {
#[test]
fn test_module_11() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_11();
// We group the calls together
start_module_11(&result_object);
@ -369,7 +358,6 @@ fn c19_l49_assert_invalid() {
#[test]
fn test_module_12() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_12();
// We group the calls together
start_module_12(&result_object);
@ -393,7 +381,6 @@ fn start_module_13(result_object: &ResultObject) {
#[test]
fn test_module_13() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_13();
// We group the calls together
start_module_13(&result_object);
@ -416,7 +403,6 @@ fn start_module_14(result_object: &ResultObject) {
#[test]
fn test_module_14() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_14();
// We group the calls together
start_module_14(&result_object);
@ -440,7 +426,6 @@ fn start_module_15(result_object: &ResultObject) {
#[test]
fn test_module_15() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_15();
// We group the calls together
start_module_15(&result_object);
@ -462,7 +447,6 @@ fn start_module_16(result_object: &ResultObject) {
#[test]
fn test_module_16() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_16();
// We group the calls together
start_module_16(&result_object);
@ -484,7 +468,6 @@ fn start_module_17(result_object: &ResultObject) {
#[test]
fn test_module_17() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_17();
// We group the calls together
start_module_17(&result_object);
@ -506,7 +489,6 @@ fn start_module_18(result_object: &ResultObject) {
#[test]
fn test_module_18() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_18();
// We group the calls together
start_module_18(&result_object);
@ -528,7 +510,6 @@ fn start_module_19(result_object: &ResultObject) {
#[test]
fn test_module_19() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_19();
// We group the calls together
start_module_19(&result_object);
@ -550,7 +531,6 @@ fn start_module_20(result_object: &ResultObject) {
#[test]
fn test_module_20() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_20();
// We group the calls together
start_module_20(&result_object);
@ -572,7 +552,6 @@ fn start_module_21(result_object: &ResultObject) {
#[test]
fn test_module_21() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_21();
// We group the calls together
start_module_21(&result_object);
@ -646,7 +625,6 @@ fn c37_l98_assert_invalid() {
#[test]
fn test_module_22() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_22();
// We group the calls together
start_module_22(&result_object);
@ -668,7 +646,6 @@ fn start_module_23(result_object: &ResultObject) {
#[test]
fn test_module_23() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_23();
// We group the calls together
start_module_23(&result_object);
@ -691,7 +668,6 @@ fn start_module_24(result_object: &ResultObject) {
#[test]
fn test_module_24() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_24();
// We group the calls together
start_module_24(&result_object);
@ -713,7 +689,6 @@ fn start_module_25(result_object: &ResultObject) {
#[test]
fn test_module_25() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_25();
// We group the calls together
start_module_25(&result_object);
@ -735,7 +710,6 @@ fn start_module_26(result_object: &ResultObject) {
#[test]
fn test_module_26() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_26();
// We group the calls together
start_module_26(&result_object);
@ -757,7 +731,6 @@ fn start_module_27(result_object: &ResultObject) {
#[test]
fn test_module_27() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_27();
// We group the calls together
start_module_27(&result_object);
@ -779,7 +752,6 @@ fn start_module_28(result_object: &ResultObject) {
#[test]
fn test_module_28() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_28();
// We group the calls together
start_module_28(&result_object);
@ -801,7 +773,6 @@ fn start_module_29(result_object: &ResultObject) {
#[test]
fn test_module_29() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_29();
// We group the calls together
start_module_29(&result_object);
@ -823,7 +794,6 @@ fn start_module_30(result_object: &ResultObject) {
#[test]
fn test_module_30() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_30();
// We group the calls together
start_module_30(&result_object);
@ -845,7 +815,6 @@ fn start_module_31(result_object: &ResultObject) {
#[test]
fn test_module_31() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_31();
// We group the calls together
start_module_31(&result_object);
@ -867,7 +836,6 @@ fn start_module_32(result_object: &ResultObject) {
#[test]
fn test_module_32() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_32();
// We group the calls together
start_module_32(&result_object);
@ -889,7 +857,6 @@ fn start_module_33(result_object: &ResultObject) {
#[test]
fn test_module_33() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_33();
// We group the calls together
start_module_33(&result_object);
@ -911,7 +878,6 @@ fn start_module_34(result_object: &ResultObject) {
#[test]
fn test_module_34() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_34();
// We group the calls together
start_module_34(&result_object);
@ -933,7 +899,6 @@ fn start_module_35(result_object: &ResultObject) {
#[test]
fn test_module_35() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_35();
// We group the calls together
start_module_35(&result_object);
@ -995,7 +960,6 @@ fn c56_l147_assert_invalid() {
#[test]
fn test_module_36() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_36();
// We group the calls together
start_module_36(&result_object);
@ -1017,7 +981,6 @@ fn start_module_37(result_object: &ResultObject) {
#[test]
fn test_module_37() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_37();
// We group the calls together
start_module_37(&result_object);
@ -1040,7 +1003,6 @@ fn start_module_38(result_object: &ResultObject) {
#[test]
fn test_module_38() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_38();
// We group the calls together
start_module_38(&result_object);
@ -1062,7 +1024,6 @@ fn start_module_39(result_object: &ResultObject) {
#[test]
fn test_module_39() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_39();
// We group the calls together
start_module_39(&result_object);
@ -1084,7 +1045,6 @@ fn start_module_40(result_object: &ResultObject) {
#[test]
fn test_module_40() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_40();
// We group the calls together
start_module_40(&result_object);
@ -1106,7 +1066,6 @@ fn start_module_41(result_object: &ResultObject) {
#[test]
fn test_module_41() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_41();
// We group the calls together
start_module_41(&result_object);
@ -1128,7 +1087,6 @@ fn start_module_42(result_object: &ResultObject) {
#[test]
fn test_module_42() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_42();
// We group the calls together
start_module_42(&result_object);
@ -1150,7 +1108,6 @@ fn start_module_43(result_object: &ResultObject) {
#[test]
fn test_module_43() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_43();
// We group the calls together
start_module_43(&result_object);
@ -1172,7 +1129,6 @@ fn start_module_44(result_object: &ResultObject) {
#[test]
fn test_module_44() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_44();
// We group the calls together
start_module_44(&result_object);
@ -1194,7 +1150,6 @@ fn start_module_45(result_object: &ResultObject) {
#[test]
fn test_module_45() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_45();
// We group the calls together
start_module_45(&result_object);
@ -1216,7 +1171,6 @@ fn start_module_46(result_object: &ResultObject) {
#[test]
fn test_module_46() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_46();
// We group the calls together
start_module_46(&result_object);
@ -1238,7 +1192,6 @@ fn start_module_47(result_object: &ResultObject) {
#[test]
fn test_module_47() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_47();
// We group the calls together
start_module_47(&result_object);
@ -1260,7 +1213,6 @@ fn start_module_48(result_object: &ResultObject) {
#[test]
fn test_module_48() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_48();
// We group the calls together
start_module_48(&result_object);
@ -1282,7 +1234,6 @@ fn start_module_49(result_object: &ResultObject) {
#[test]
fn test_module_49() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_49();
// We group the calls together
start_module_49(&result_object);
@ -1342,7 +1293,6 @@ fn c75_l196_assert_invalid() {
#[test]
fn test_module_50() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_50();
// We group the calls together
start_module_50(&result_object);

1
src/spectests/f32_.rs
View File

@ -30081,7 +30081,6 @@ fn c2500_l2518_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/f32_bitwise.rs
View File

@ -4404,7 +4404,6 @@ fn c360_l369_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/f32_cmp.rs
View File

@ -28860,7 +28860,6 @@ fn c2400_l2412_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/f64_.rs
View File

@ -30081,7 +30081,6 @@ fn c2500_l2518_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/f64_bitwise.rs
View File

@ -4404,7 +4404,6 @@ fn c360_l369_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/f64_cmp.rs
View File

@ -28860,7 +28860,6 @@ fn c2400_l2412_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/fac.rs
View File

@ -204,7 +204,6 @@ fn c5_l88_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

96
src/spectests/float_exprs.rs
View File

@ -99,7 +99,6 @@ fn c5_l15_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -260,7 +259,6 @@ fn c16_l35_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -350,7 +348,6 @@ fn c21_l50_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -434,7 +431,6 @@ fn c26_l64_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -494,7 +490,6 @@ fn c29_l76_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -624,7 +619,6 @@ fn c38_l94_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);
@ -688,7 +682,6 @@ fn c41_l107_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_7() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_7();
// We group the calls together
start_module_7(&result_object);
@ -818,7 +811,6 @@ fn c50_l125_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_8() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_8();
// We group the calls together
start_module_8(&result_object);
@ -882,7 +874,6 @@ fn c53_l137_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_9() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_9();
// We group the calls together
start_module_9(&result_object);
@ -940,7 +931,6 @@ fn c56_l149_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_10() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_10();
// We group the calls together
start_module_10(&result_object);
@ -998,7 +988,6 @@ fn c59_l161_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_11() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_11();
// We group the calls together
start_module_11(&result_object);
@ -1056,7 +1045,6 @@ fn c62_l173_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_12() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_12();
// We group the calls together
start_module_12(&result_object);
@ -1114,7 +1102,6 @@ fn c65_l185_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_13() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_13();
// We group the calls together
start_module_13(&result_object);
@ -1172,7 +1159,6 @@ fn c68_l197_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_14() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_14();
// We group the calls together
start_module_14(&result_object);
@ -1254,7 +1240,6 @@ fn c73_l211_assert_return_canonical_nan(result_object: &ResultObject) {
#[test]
fn test_module_15() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_15();
// We group the calls together
start_module_15(&result_object);
@ -1386,7 +1371,6 @@ fn c82_l229_assert_return_canonical_nan(result_object: &ResultObject) {
#[test]
fn test_module_16() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_16();
// We group the calls together
start_module_16(&result_object);
@ -1546,7 +1530,6 @@ fn c93_l249_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_17() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_17();
// We group the calls together
start_module_17(&result_object);
@ -1716,7 +1699,6 @@ fn c104_l269_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_18() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_18();
// We group the calls together
start_module_18(&result_object);
@ -1882,7 +1864,6 @@ fn c115_l289_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_19() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_19();
// We group the calls together
start_module_19(&result_object);
@ -2048,7 +2029,6 @@ fn c126_l309_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_20() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_20();
// We group the calls together
start_module_20(&result_object);
@ -2214,7 +2194,6 @@ fn c137_l329_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_21() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_21();
// We group the calls together
start_module_21(&result_object);
@ -2384,7 +2363,6 @@ fn c148_l349_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_22() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_22();
// We group the calls together
start_module_22(&result_object);
@ -2554,7 +2532,6 @@ fn c159_l369_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_23() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_23();
// We group the calls together
start_module_23(&result_object);
@ -2788,7 +2765,6 @@ fn c176_l395_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_24() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_24();
// We group the calls together
start_module_24(&result_object);
@ -3028,7 +3004,6 @@ fn c193_l421_assert_return_arithmetic_nan(result_object: &ResultObject) {
#[test]
fn test_module_25() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_25();
// We group the calls together
start_module_25(&result_object);
@ -3206,7 +3181,6 @@ fn c204_l443_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_26() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_26();
// We group the calls together
start_module_26(&result_object);
@ -3302,7 +3276,6 @@ fn c210_l456_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_27() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_27();
// We group the calls together
start_module_27(&result_object);
@ -3461,7 +3434,6 @@ fn c221_l477_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_28() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_28();
// We group the calls together
start_module_28(&result_object);
@ -3558,7 +3530,6 @@ fn c227_l490_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_29() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_29();
// We group the calls together
start_module_29(&result_object);
@ -3749,7 +3720,6 @@ fn c240_l519_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_30() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_30();
// We group the calls together
start_module_30(&result_object);
@ -3917,7 +3887,6 @@ fn c251_l540_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_31() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_31();
// We group the calls together
start_module_31(&result_object);
@ -4083,7 +4052,6 @@ fn c262_l561_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_32() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_32();
// We group the calls together
start_module_32(&result_object);
@ -4249,7 +4217,6 @@ fn c273_l582_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_33() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_33();
// We group the calls together
start_module_33(&result_object);
@ -4415,7 +4382,6 @@ fn c284_l603_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_34() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_34();
// We group the calls together
start_module_34(&result_object);
@ -4485,7 +4451,6 @@ fn c287_l615_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_35() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_35();
// We group the calls together
start_module_35(&result_object);
@ -4573,7 +4538,6 @@ fn c293_l628_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_36() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_36();
// We group the calls together
start_module_36(&result_object);
@ -4760,7 +4724,6 @@ fn c307_l650_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_37() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_37();
// We group the calls together
start_module_37(&result_object);
@ -4929,7 +4892,6 @@ fn c318_l671_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_38() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_38();
// We group the calls together
start_module_38(&result_object);
@ -5027,7 +4989,6 @@ fn c324_l684_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_39() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_39();
// We group the calls together
start_module_39(&result_object);
@ -5518,7 +5479,6 @@ fn c357_l757_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_40() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_40();
// We group the calls together
start_module_40(&result_object);
@ -5759,7 +5719,6 @@ fn c371_l796_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_41() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_41();
// We group the calls together
start_module_41(&result_object);
@ -5981,7 +5940,6 @@ fn c385_l831_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_42() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_42();
// We group the calls together
start_module_42(&result_object);
@ -6448,7 +6406,6 @@ fn c418_l878_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_43() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_43();
// We group the calls together
start_module_43(&result_object);
@ -6958,7 +6915,6 @@ fn c451_l925_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_44() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_44();
// We group the calls together
start_module_44(&result_object);
@ -7484,7 +7440,6 @@ fn c484_l1004_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_45() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_45();
// We group the calls together
start_module_45(&result_object);
@ -8010,7 +7965,6 @@ fn c517_l1051_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_46() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_46();
// We group the calls together
start_module_46(&result_object);
@ -8552,7 +8506,6 @@ fn c550_l1130_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_47() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_47();
// We group the calls together
start_module_47(&result_object);
@ -8648,7 +8601,6 @@ fn c553_l1145_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_48() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_48();
// We group the calls together
start_module_48(&result_object);
@ -8722,7 +8674,6 @@ fn c555_l1167_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_49() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_49();
// We group the calls together
start_module_49(&result_object);
@ -8795,7 +8746,6 @@ fn c557_l1186_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_50() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_50();
// We group the calls together
start_module_50(&result_object);
@ -8836,7 +8786,6 @@ fn c559_l1197_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_51() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_51();
// We group the calls together
start_module_51(&result_object);
@ -8878,7 +8827,6 @@ fn c561_l1208_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_52() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_52();
// We group the calls together
start_module_52(&result_object);
@ -8923,7 +8871,6 @@ fn c563_l1220_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_53() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_53();
// We group the calls together
start_module_53(&result_object);
@ -9006,7 +8953,6 @@ fn c567_l1246_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_54() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_54();
// We group the calls together
start_module_54(&result_object);
@ -9047,7 +8993,6 @@ fn c569_l1257_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_55() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_55();
// We group the calls together
start_module_55(&result_object);
@ -9106,7 +9051,6 @@ fn c572_l1273_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_56() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_56();
// We group the calls together
start_module_56(&result_object);
@ -9360,7 +9304,6 @@ fn c591_l1305_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_57() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_57();
// We group the calls together
start_module_57(&result_object);
@ -9538,7 +9481,6 @@ fn c602_l1329_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_58() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_58();
// We group the calls together
start_module_58(&result_object);
@ -9708,7 +9650,6 @@ fn c613_l1353_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_59() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_59();
// We group the calls together
start_module_59(&result_object);
@ -9853,7 +9794,6 @@ fn c619_l1395_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_60() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_60();
// We group the calls together
start_module_60(&result_object);
@ -9993,7 +9933,6 @@ fn c625_l1434_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_61() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_61();
// We group the calls together
start_module_61(&result_object);
@ -10100,7 +10039,6 @@ fn c628_l1531_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_62() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_62();
// We group the calls together
start_module_62(&result_object);
@ -10204,7 +10142,6 @@ fn c631_l1582_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_63() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_63();
// We group the calls together
start_module_63(&result_object);
@ -10336,7 +10273,6 @@ fn c640_l1602_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_64() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_64();
// We group the calls together
start_module_64(&result_object);
@ -10474,7 +10410,6 @@ fn c649_l1622_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_65() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_65();
// We group the calls together
start_module_65(&result_object);
@ -10614,7 +10549,6 @@ fn c658_l1642_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_66() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_66();
// We group the calls together
start_module_66(&result_object);
@ -10752,7 +10686,6 @@ fn c667_l1662_assert_return_canonical_nan(result_object: &ResultObject) {
#[test]
fn test_module_67() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_67();
// We group the calls together
start_module_67(&result_object);
@ -10928,7 +10861,6 @@ fn c678_l1690_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_68() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_68();
// We group the calls together
start_module_68(&result_object);
@ -11094,7 +11026,6 @@ fn c689_l1713_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_69() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_69();
// We group the calls together
start_module_69(&result_object);
@ -11264,7 +11195,6 @@ fn c700_l1737_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_70() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_70();
// We group the calls together
start_module_70(&result_object);
@ -11434,7 +11364,6 @@ fn c711_l1759_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_71() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_71();
// We group the calls together
start_module_71(&result_object);
@ -11598,7 +11527,6 @@ fn c722_l1781_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_72() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_72();
// We group the calls together
start_module_72(&result_object);
@ -11764,7 +11692,6 @@ fn c733_l1803_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_73() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_73();
// We group the calls together
start_module_73(&result_object);
@ -11930,7 +11857,6 @@ fn c744_l1825_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_74() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_74();
// We group the calls together
start_module_74(&result_object);
@ -12098,7 +12024,6 @@ fn c755_l1847_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_75() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_75();
// We group the calls together
start_module_75(&result_object);
@ -12168,7 +12093,6 @@ fn c758_l1861_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_76() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_76();
// We group the calls together
start_module_76(&result_object);
@ -12397,7 +12321,6 @@ fn c772_l1905_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_77() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_77();
// We group the calls together
start_module_77(&result_object);
@ -12470,7 +12393,6 @@ fn c775_l1919_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_78() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_78();
// We group the calls together
start_module_78(&result_object);
@ -12536,7 +12458,6 @@ fn c778_l1935_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_79() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_79();
// We group the calls together
start_module_79(&result_object);
@ -12820,7 +12741,6 @@ fn c793_l1986_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_80() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_80();
// We group the calls together
start_module_80(&result_object);
@ -12946,7 +12866,6 @@ fn c796_l2070_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_81() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_81();
// We group the calls together
start_module_81(&result_object);
@ -13012,7 +12931,6 @@ fn c799_l2084_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_82() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_82();
// We group the calls together
start_module_82(&result_object);
@ -13120,7 +13038,6 @@ fn c804_l2106_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_83() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_83();
// We group the calls together
start_module_83(&result_object);
@ -13290,7 +13207,6 @@ fn c813_l2143_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_84() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_84();
// We group the calls together
start_module_84(&result_object);
@ -13366,7 +13282,6 @@ fn c816_l2158_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_85() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_85();
// We group the calls together
start_module_85(&result_object);
@ -13450,7 +13365,6 @@ fn c819_l2213_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_86() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_86();
// We group the calls together
start_module_86(&result_object);
@ -13642,7 +13556,6 @@ fn c828_l2245_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_87() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_87();
// We group the calls together
start_module_87(&result_object);
@ -14239,7 +14152,6 @@ fn c862_l2361_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_88() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_88();
// We group the calls together
start_module_88(&result_object);
@ -14351,7 +14263,6 @@ fn c865_l2393_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_89() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_89();
// We group the calls together
start_module_89(&result_object);
@ -14467,7 +14378,6 @@ fn c872_l2416_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_90() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_90();
// We group the calls together
start_module_90(&result_object);
@ -14533,7 +14443,6 @@ fn c875_l2431_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_91() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_91();
// We group the calls together
start_module_91(&result_object);
@ -14597,7 +14506,6 @@ fn c878_l2444_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_92() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_92();
// We group the calls together
start_module_92(&result_object);
@ -14789,7 +14697,6 @@ fn c891_l2473_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_93() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_93();
// We group the calls together
start_module_93(&result_object);
@ -14841,7 +14748,6 @@ fn c893_l2483_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_94() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_94();
// We group the calls together
start_module_94(&result_object);
@ -14949,7 +14855,6 @@ fn c896_l2554_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_95() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_95();
// We group the calls together
start_module_95(&result_object);
@ -15015,7 +14920,6 @@ fn c899_l2570_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_96() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_96();
// We group the calls together
start_module_96(&result_object);

2
src/spectests/float_literals.rs
View File

@ -1327,7 +1327,6 @@ fn c82_l189_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -2051,7 +2050,6 @@ fn c160_l505_assert_malformed() {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);

6
src/spectests/float_memory.rs
View File

@ -230,7 +230,6 @@ fn c14_l28_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -463,7 +462,6 @@ fn c29_l53_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -696,7 +694,6 @@ fn c44_l80_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -929,7 +926,6 @@ fn c59_l105_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -1162,7 +1158,6 @@ fn c74_l132_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -1393,7 +1388,6 @@ fn c89_l157_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);

1
src/spectests/float_misc.rs
View File

@ -5455,7 +5455,6 @@ fn c440_l678_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/forward.rs
View File

@ -104,7 +104,6 @@ fn c4_l20_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

3
src/spectests/func.rs
View File

@ -1167,7 +1167,6 @@ fn c69_l284_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -1278,7 +1277,6 @@ fn c71_l303_assert_invalid() {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -1789,7 +1787,6 @@ fn c122_l659_assert_malformed() {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);

3
src/spectests/func_ptrs.rs
View File

@ -162,7 +162,6 @@ fn c11_l49_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -503,7 +502,6 @@ fn c32_l91_assert_trap() {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -571,7 +569,6 @@ fn c35_l106_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);

1
src/spectests/get_local.rs
View File

@ -346,7 +346,6 @@ fn c22_l145_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

157
src/spectests/globals.rs
View File

@ -708,9 +708,21 @@ fn c35_l226_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 230
fn c36_l230_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c36_l230_action_invoke");
// Line 227
fn c36_l227_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c36_l227_action_invoke");
let func_index = match result_object.module.info.exports.get("as-memory.grow-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(&Instance) -> i32 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(&result_object.instance);
assert_eq!(result, 1 as i32);
}
// Line 229
fn c37_l229_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c37_l229_action_invoke");
let func_index = match result_object.module.info.exports.get("as-call-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -720,9 +732,9 @@ fn c36_l230_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6 as i32);
}
// Line 232
fn c37_l232_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c37_l232_action_invoke");
// Line 231
fn c38_l231_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c38_l231_action_invoke");
let func_index = match result_object.module.info.exports.get("as-return-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -732,9 +744,9 @@ fn c37_l232_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6 as i32);
}
// Line 233
fn c38_l233_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c38_l233_action_invoke");
// Line 232
fn c39_l232_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c39_l232_action_invoke");
let func_index = match result_object.module.info.exports.get("as-drop-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -744,9 +756,9 @@ fn c38_l233_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 234
fn c39_l234_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c39_l234_action_invoke");
// Line 233
fn c40_l233_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c40_l233_action_invoke");
let func_index = match result_object.module.info.exports.get("as-br-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -756,9 +768,9 @@ fn c39_l234_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6 as i32);
}
// Line 236
fn c40_l236_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c40_l236_action_invoke");
// Line 235
fn c41_l235_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c41_l235_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_local-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -768,9 +780,9 @@ fn c40_l236_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6 as i32);
}
// Line 237
fn c41_l237_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c41_l237_action_invoke");
// Line 236
fn c42_l236_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c42_l236_action_invoke");
let func_index = match result_object.module.info.exports.get("as-tee_local-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -780,9 +792,9 @@ fn c41_l237_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6 as i32);
}
// Line 238
fn c42_l238_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c42_l238_action_invoke");
// Line 237
fn c43_l237_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c43_l237_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_global-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -792,9 +804,9 @@ fn c42_l238_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6 as i32);
}
// Line 240
fn c43_l240_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c43_l240_action_invoke");
// Line 239
fn c44_l239_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c44_l239_action_invoke");
let func_index = match result_object.module.info.exports.get("as-unary-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -804,9 +816,9 @@ fn c43_l240_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0 as i32);
}
// Line 241
fn c44_l241_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c44_l241_action_invoke");
// Line 240
fn c45_l240_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c45_l240_action_invoke");
let func_index = match result_object.module.info.exports.get("as-binary-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -816,9 +828,9 @@ fn c44_l241_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 36 as i32);
}
// Line 242
fn c45_l242_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c45_l242_action_invoke");
// Line 241
fn c46_l241_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c46_l241_action_invoke");
let func_index = match result_object.module.info.exports.get("as-compare-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -828,115 +840,114 @@ fn c45_l242_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 245
// Line 244
#[test]
fn c46_l245_assert_invalid() {
fn c47_l244_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 6, 9, 1, 125, 0, 67, 0, 0, 0, 0, 11, 10, 8, 1, 6, 0, 65, 1, 36, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 257
// Line 256
#[test]
fn c47_l257_assert_invalid() {
fn c48_l256_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 10, 1, 125, 0, 67, 0, 0, 0, 0, 140, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 262
// Line 261
#[test]
fn c48_l262_assert_invalid() {
fn c49_l261_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 6, 1, 125, 0, 32, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 267
// Line 266
#[test]
fn c49_l267_assert_invalid() {
fn c50_l266_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 10, 1, 125, 0, 67, 0, 0, 128, 63, 140, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 272
// Line 271
#[test]
fn c50_l272_assert_invalid() {
fn c51_l271_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 7, 1, 127, 0, 65, 0, 1, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 277
// Line 276
#[test]
fn c51_l277_assert_invalid() {
fn c52_l276_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 5, 1, 127, 0, 1, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 282
// Line 281
#[test]
fn c52_l282_assert_invalid() {
fn c53_l281_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 9, 1, 127, 0, 67, 0, 0, 0, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 287
// Line 286
#[test]
fn c53_l287_assert_invalid() {
fn c54_l286_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 8, 1, 127, 0, 65, 0, 65, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 292
// Line 291
#[test]
fn c54_l292_assert_invalid() {
fn c55_l291_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 4, 1, 127, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 297
// Line 296
#[test]
fn c55_l297_assert_invalid() {
fn c56_l296_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 6, 1, 127, 0, 35, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 302
// Line 301
#[test]
fn c56_l302_assert_invalid() {
fn c57_l301_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 11, 2, 127, 0, 35, 1, 11, 127, 0, 65, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 312
// Line 311
#[test]
fn c57_l312_assert_malformed() {
fn c58_l311_assert_malformed() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 2, 148, 128, 128, 128, 0, 1, 8, 115, 112, 101, 99, 116, 101, 115, 116, 10, 103, 108, 111, 98, 97, 108, 95, 105, 51, 50, 3, 127, 2];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 325
// Line 324
#[test]
fn c58_l325_assert_malformed() {
fn c59_l324_assert_malformed() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 2, 148, 128, 128, 128, 0, 1, 8, 115, 112, 101, 99, 116, 101, 115, 116, 10, 103, 108, 111, 98, 97, 108, 95, 105, 51, 50, 3, 127, 255];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 338
// Line 337
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -974,16 +985,17 @@ fn test_module_1() {
c33_l224_action_invoke(&result_object);
c34_l225_action_invoke(&result_object);
c35_l226_action_invoke(&result_object);
c36_l230_action_invoke(&result_object);
c37_l232_action_invoke(&result_object);
c38_l233_action_invoke(&result_object);
c39_l234_action_invoke(&result_object);
c40_l236_action_invoke(&result_object);
c41_l237_action_invoke(&result_object);
c42_l238_action_invoke(&result_object);
c43_l240_action_invoke(&result_object);
c44_l241_action_invoke(&result_object);
c45_l242_action_invoke(&result_object);
c36_l227_action_invoke(&result_object);
c37_l229_action_invoke(&result_object);
c38_l231_action_invoke(&result_object);
c39_l232_action_invoke(&result_object);
c40_l233_action_invoke(&result_object);
c41_l235_action_invoke(&result_object);
c42_l236_action_invoke(&result_object);
c43_l237_action_invoke(&result_object);
c44_l239_action_invoke(&result_object);
c45_l240_action_invoke(&result_object);
c46_l241_action_invoke(&result_object);
}
fn create_module_2() -> ResultObject {
let module_str = "(module
@ -997,17 +1009,17 @@ fn start_module_2(result_object: &ResultObject) {
result_object.instance.start();
}
// Line 342
// Line 341
#[test]
fn c60_l342_assert_malformed() {
fn c61_l341_assert_malformed() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 134, 128, 128, 128, 0, 1, 127, 2, 65, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 354
// Line 353
#[test]
fn c61_l354_assert_malformed() {
fn c62_l353_assert_malformed() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 6, 134, 128, 128, 128, 0, 1, 127, 255, 65, 0, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
@ -1015,7 +1027,6 @@ fn c61_l354_assert_malformed() {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);

1
src/spectests/i32_.rs
View File

@ -4561,7 +4561,6 @@ fn c359_l421_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/i64_.rs
View File

@ -4563,7 +4563,6 @@ fn c359_l421_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

589
src/spectests/if_.rs
View File

File diff suppressed because it is too large Load Diff

19
src/spectests/int_exprs.rs
View File

@ -117,7 +117,6 @@ fn c4_l21_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -171,7 +170,6 @@ fn c7_l31_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -211,7 +209,6 @@ fn c9_l40_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -310,7 +307,6 @@ fn c14_l59_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -412,7 +408,6 @@ fn c19_l78_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -514,7 +509,6 @@ fn c24_l97_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);
@ -644,7 +638,6 @@ fn c29_l116_assert_trap() {
#[test]
fn test_module_7() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_7();
// We group the calls together
start_module_7(&result_object);
@ -770,7 +763,6 @@ fn c34_l135_assert_trap() {
#[test]
fn test_module_8() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_8();
// We group the calls together
start_module_8(&result_object);
@ -868,7 +860,6 @@ fn c39_l154_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_9() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_9();
// We group the calls together
start_module_9(&result_object);
@ -928,7 +919,6 @@ fn c42_l167_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_10() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_10();
// We group the calls together
start_module_10(&result_object);
@ -986,7 +976,6 @@ fn c45_l180_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_11() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_11();
// We group the calls together
start_module_11(&result_object);
@ -1114,7 +1103,6 @@ fn c50_l199_assert_trap() {
#[test]
fn test_module_12() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_12();
// We group the calls together
start_module_12(&result_object);
@ -1252,7 +1240,6 @@ fn c59_l222_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_13() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_13();
// We group the calls together
start_module_13(&result_object);
@ -1398,7 +1385,6 @@ fn c68_l245_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_14() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_14();
// We group the calls together
start_module_14(&result_object);
@ -1544,7 +1530,6 @@ fn c77_l268_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_15() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_15();
// We group the calls together
start_module_15(&result_object);
@ -1690,7 +1675,6 @@ fn c86_l291_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_16() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_16();
// We group the calls together
start_module_16(&result_object);
@ -1836,7 +1820,6 @@ fn c95_l314_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_17() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_17();
// We group the calls together
start_module_17(&result_object);
@ -1982,7 +1965,6 @@ fn c104_l337_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_18() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_18();
// We group the calls together
start_module_18(&result_object);
@ -2062,7 +2044,6 @@ fn c107_l350_assert_trap() {
#[test]
fn test_module_19() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_19();
// We group the calls together
start_module_19(&result_object);

1
src/spectests/int_literals.rs
View File

@ -667,7 +667,6 @@ fn c50_l149_assert_malformed() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/labels.rs
View File

@ -787,7 +787,6 @@ fn c28_l319_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/left_to_right.rs
View File

@ -2111,7 +2111,6 @@ fn c95_l233_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

434
src/spectests/loop_.rs
View File

@ -917,9 +917,21 @@ fn c20_l330_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 334
fn c21_l334_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c21_l334_action_invoke");
// Line 332
fn c21_l332_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c21_l332_action_invoke");
let func_index = match result_object.module.info.exports.get("as-memory.grow-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(&Instance) -> i32 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(&result_object.instance);
assert_eq!(result, 1 as i32);
}
// Line 333
fn c22_l333_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c22_l333_action_invoke");
let func_index = match result_object.module.info.exports.get("as-call-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -929,9 +941,9 @@ fn c21_l334_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 335
fn c22_l335_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c22_l335_action_invoke");
// Line 334
fn c23_l334_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c23_l334_action_invoke");
let func_index = match result_object.module.info.exports.get("as-return-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -941,9 +953,9 @@ fn c22_l335_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 336
fn c23_l336_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c23_l336_action_invoke");
// Line 335
fn c24_l335_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c24_l335_action_invoke");
let func_index = match result_object.module.info.exports.get("as-drop-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -953,9 +965,9 @@ fn c23_l336_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 337
fn c24_l337_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c24_l337_action_invoke");
// Line 336
fn c25_l336_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c25_l336_action_invoke");
let func_index = match result_object.module.info.exports.get("as-br-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -965,9 +977,9 @@ fn c24_l337_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 338
fn c25_l338_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c25_l338_action_invoke");
// Line 337
fn c26_l337_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c26_l337_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_local-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -977,9 +989,9 @@ fn c25_l338_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 339
fn c26_l339_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c26_l339_action_invoke");
// Line 338
fn c27_l338_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c27_l338_action_invoke");
let func_index = match result_object.module.info.exports.get("as-tee_local-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -989,9 +1001,9 @@ fn c26_l339_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 340
fn c27_l340_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c27_l340_action_invoke");
// Line 339
fn c28_l339_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c28_l339_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_global-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1001,9 +1013,9 @@ fn c27_l340_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 341
fn c28_l341_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c28_l341_action_invoke");
// Line 340
fn c29_l340_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c29_l340_action_invoke");
let func_index = match result_object.module.info.exports.get("as-load-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1013,9 +1025,9 @@ fn c28_l341_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 343
fn c29_l343_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c29_l343_action_invoke");
// Line 342
fn c30_l342_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c30_l342_action_invoke");
let func_index = match result_object.module.info.exports.get("as-unary-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1025,9 +1037,9 @@ fn c29_l343_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0 as i32);
}
// Line 344
fn c30_l344_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c30_l344_action_invoke");
// Line 343
fn c31_l343_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c31_l343_action_invoke");
let func_index = match result_object.module.info.exports.get("as-binary-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1037,9 +1049,9 @@ fn c30_l344_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 12 as i32);
}
// Line 345
fn c31_l345_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c31_l345_action_invoke");
// Line 344
fn c32_l344_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c32_l344_action_invoke");
let func_index = match result_object.module.info.exports.get("as-test-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1049,9 +1061,9 @@ fn c31_l345_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0 as i32);
}
// Line 346
fn c32_l346_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c32_l346_action_invoke");
// Line 345
fn c33_l345_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c33_l345_action_invoke");
let func_index = match result_object.module.info.exports.get("as-compare-operand") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1061,9 +1073,9 @@ fn c32_l346_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0 as i32);
}
// Line 348
fn c33_l348_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c33_l348_action_invoke");
// Line 347
fn c34_l347_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c34_l347_action_invoke");
let func_index = match result_object.module.info.exports.get("break-bare") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1073,9 +1085,9 @@ fn c33_l348_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 19 as i32);
}
// Line 349
fn c34_l349_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c34_l349_action_invoke");
// Line 348
fn c35_l348_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c35_l348_action_invoke");
let func_index = match result_object.module.info.exports.get("break-value") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1085,9 +1097,9 @@ fn c34_l349_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 18 as i32);
}
// Line 350
fn c35_l350_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c35_l350_action_invoke");
// Line 349
fn c36_l349_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c36_l349_action_invoke");
let func_index = match result_object.module.info.exports.get("break-repeated") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1097,9 +1109,9 @@ fn c35_l350_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 18 as i32);
}
// Line 351
fn c36_l351_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c36_l351_action_invoke");
// Line 350
fn c37_l350_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c37_l350_action_invoke");
let func_index = match result_object.module.info.exports.get("break-inner") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1109,9 +1121,9 @@ fn c36_l351_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 31 as i32);
}
// Line 353
fn c37_l353_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c37_l353_action_invoke");
// Line 352
fn c38_l352_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c38_l352_action_invoke");
let func_index = match result_object.module.info.exports.get("effects") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1121,9 +1133,9 @@ fn c37_l353_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 355
fn c38_l355_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c38_l355_action_invoke");
// Line 354
fn c39_l354_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c39_l354_action_invoke");
let func_index = match result_object.module.info.exports.get("while") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1133,21 +1145,21 @@ fn c38_l355_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i64);
}
// Line 355
fn c40_l355_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c40_l355_action_invoke");
let func_index = match result_object.module.info.exports.get("while") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(i64, &Instance) -> i64 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(1 as i64, &result_object.instance);
assert_eq!(result, 1 as i64);
}
// Line 356
fn c39_l356_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c39_l356_action_invoke");
let func_index = match result_object.module.info.exports.get("while") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(i64, &Instance) -> i64 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(1 as i64, &result_object.instance);
assert_eq!(result, 1 as i64);
}
// Line 357
fn c40_l357_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c40_l357_action_invoke");
fn c41_l356_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c41_l356_action_invoke");
let func_index = match result_object.module.info.exports.get("while") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1157,9 +1169,9 @@ fn c40_l357_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i64);
}
// Line 358
fn c41_l358_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c41_l358_action_invoke");
// Line 357
fn c42_l357_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c42_l357_action_invoke");
let func_index = match result_object.module.info.exports.get("while") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1169,9 +1181,9 @@ fn c41_l358_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6 as i64);
}
// Line 359
fn c42_l359_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c42_l359_action_invoke");
// Line 358
fn c43_l358_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c43_l358_action_invoke");
let func_index = match result_object.module.info.exports.get("while") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1181,9 +1193,9 @@ fn c42_l359_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 120 as i64);
}
// Line 360
fn c43_l360_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c43_l360_action_invoke");
// Line 359
fn c44_l359_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c44_l359_action_invoke");
let func_index = match result_object.module.info.exports.get("while") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1193,9 +1205,9 @@ fn c43_l360_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2432902008176640000 as i64);
}
// Line 362
fn c44_l362_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c44_l362_action_invoke");
// Line 361
fn c45_l361_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c45_l361_action_invoke");
let func_index = match result_object.module.info.exports.get("for") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1205,9 +1217,9 @@ fn c44_l362_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i64);
}
// Line 363
fn c45_l363_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c45_l363_action_invoke");
// Line 362
fn c46_l362_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c46_l362_action_invoke");
let func_index = match result_object.module.info.exports.get("for") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1217,9 +1229,9 @@ fn c45_l363_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i64);
}
// Line 364
fn c46_l364_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c46_l364_action_invoke");
// Line 363
fn c47_l363_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c47_l363_action_invoke");
let func_index = match result_object.module.info.exports.get("for") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1229,9 +1241,9 @@ fn c46_l364_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i64);
}
// Line 365
fn c47_l365_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c47_l365_action_invoke");
// Line 364
fn c48_l364_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c48_l364_action_invoke");
let func_index = match result_object.module.info.exports.get("for") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1241,9 +1253,9 @@ fn c47_l365_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6 as i64);
}
// Line 366
fn c48_l366_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c48_l366_action_invoke");
// Line 365
fn c49_l365_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c49_l365_action_invoke");
let func_index = match result_object.module.info.exports.get("for") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1253,9 +1265,9 @@ fn c48_l366_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 120 as i64);
}
// Line 367
fn c49_l367_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c49_l367_action_invoke");
// Line 366
fn c50_l366_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c50_l366_action_invoke");
let func_index = match result_object.module.info.exports.get("for") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1265,9 +1277,9 @@ fn c49_l367_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2432902008176640000 as i64);
}
// Line 369
fn c50_l369_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c50_l369_action_invoke");
// Line 368
fn c51_l368_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c51_l368_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1277,9 +1289,9 @@ fn c50_l369_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0.0 as f32);
}
// Line 370
fn c51_l370_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c51_l370_action_invoke");
// Line 369
fn c52_l369_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c52_l369_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1289,9 +1301,9 @@ fn c51_l370_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0.0 as f32);
}
// Line 371
fn c52_l371_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c52_l371_action_invoke");
// Line 370
fn c53_l370_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c53_l370_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1301,9 +1313,9 @@ fn c52_l371_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1.0 as f32);
}
// Line 372
fn c53_l372_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c53_l372_action_invoke");
// Line 371
fn c54_l371_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c54_l371_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1313,9 +1325,9 @@ fn c53_l372_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2.0 as f32);
}
// Line 373
fn c54_l373_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c54_l373_action_invoke");
// Line 372
fn c55_l372_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c55_l372_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1325,9 +1337,9 @@ fn c54_l373_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 4.0 as f32);
}
// Line 374
fn c55_l374_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c55_l374_action_invoke");
// Line 373
fn c56_l373_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c56_l373_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1337,9 +1349,9 @@ fn c55_l374_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 6.0 as f32);
}
// Line 375
fn c56_l375_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c56_l375_action_invoke");
// Line 374
fn c57_l374_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c57_l374_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1349,9 +1361,9 @@ fn c56_l375_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2550.0 as f32);
}
// Line 376
fn c57_l376_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c57_l376_action_invoke");
// Line 375
fn c58_l375_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c58_l375_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1361,9 +1373,9 @@ fn c57_l376_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2601.0 as f32);
}
// Line 377
fn c58_l377_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c58_l377_action_invoke");
// Line 376
fn c59_l376_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c59_l376_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1373,9 +1385,9 @@ fn c58_l377_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1.0 as f32);
}
// Line 378
fn c59_l378_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c59_l378_action_invoke");
// Line 377
fn c60_l377_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c60_l377_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1385,9 +1397,9 @@ fn c59_l378_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1.0 as f32);
}
// Line 379
fn c60_l379_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c60_l379_action_invoke");
// Line 378
fn c61_l378_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c61_l378_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1397,9 +1409,9 @@ fn c60_l379_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1.0 as f32);
}
// Line 380
fn c61_l380_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c61_l380_action_invoke");
// Line 379
fn c62_l379_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c62_l379_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1409,9 +1421,9 @@ fn c61_l380_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 3.0 as f32);
}
// Line 381
fn c62_l381_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c62_l381_action_invoke");
// Line 380
fn c63_l380_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c63_l380_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1421,9 +1433,9 @@ fn c62_l381_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 4.0 as f32);
}
// Line 382
fn c63_l382_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c63_l382_action_invoke");
// Line 381
fn c64_l381_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c64_l381_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1433,9 +1445,9 @@ fn c63_l382_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 10.309524 as f32);
}
// Line 383
fn c64_l383_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c64_l383_action_invoke");
// Line 382
fn c65_l382_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c65_l382_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1445,9 +1457,9 @@ fn c64_l383_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 4381.548 as f32);
}
// Line 384
fn c65_l384_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c65_l384_action_invoke");
// Line 383
fn c66_l383_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c66_l383_action_invoke");
let func_index = match result_object.module.info.exports.get("nesting") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1457,89 +1469,89 @@ fn c65_l384_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2601.0 as f32);
}
// Line 387
// Line 386
#[test]
fn c66_l387_assert_invalid() {
fn c67_l386_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 64, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 391
// Line 390
#[test]
fn c67_l391_assert_invalid() {
fn c68_l390_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 126, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 64, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 395
// Line 394
#[test]
fn c68_l395_assert_invalid() {
fn c69_l394_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 125, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 64, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 399
// Line 398
#[test]
fn c69_l399_assert_invalid() {
fn c70_l398_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 124, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 64, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 404
// Line 403
#[test]
fn c70_l404_assert_invalid() {
fn c71_l403_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 4, 1, 96, 0, 0, 3, 2, 1, 0, 10, 9, 1, 7, 0, 3, 64, 65, 1, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 410
// Line 409
#[test]
fn c71_l410_assert_invalid() {
fn c72_l409_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 7, 1, 5, 0, 3, 127, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 416
// Line 415
#[test]
fn c72_l416_assert_invalid() {
fn c73_l415_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 8, 1, 6, 0, 3, 127, 1, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 422
// Line 421
#[test]
fn c73_l422_assert_invalid() {
fn c74_l421_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 12, 1, 10, 0, 3, 127, 67, 0, 0, 0, 0, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 428
// Line 427
#[test]
fn c74_l428_assert_invalid() {
fn c75_l427_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 11, 1, 9, 0, 3, 126, 0, 0, 0, 27, 11, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 436
// Line 435
#[test]
fn c75_l436_assert_malformed() {
fn c76_l435_assert_malformed() {
let wasm_binary = [40, 102, 117, 110, 99, 32, 108, 111, 111, 112, 32, 101, 110, 100, 32, 36, 108, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
}
// Line 440
// Line 439
#[test]
fn c76_l440_assert_malformed() {
fn c77_l439_assert_malformed() {
let wasm_binary = [40, 102, 117, 110, 99, 32, 108, 111, 111, 112, 32, 36, 97, 32, 101, 110, 100, 32, 36, 108, 41];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is malformed");
@ -1547,7 +1559,6 @@ fn c76_l440_assert_malformed() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -1571,49 +1582,50 @@ fn test_module_1() {
c18_l327_action_invoke(&result_object);
c19_l329_action_invoke(&result_object);
c20_l330_action_invoke(&result_object);
c21_l334_action_invoke(&result_object);
c22_l335_action_invoke(&result_object);
c23_l336_action_invoke(&result_object);
c24_l337_action_invoke(&result_object);
c25_l338_action_invoke(&result_object);
c26_l339_action_invoke(&result_object);
c27_l340_action_invoke(&result_object);
c28_l341_action_invoke(&result_object);
c29_l343_action_invoke(&result_object);
c30_l344_action_invoke(&result_object);
c31_l345_action_invoke(&result_object);
c32_l346_action_invoke(&result_object);
c33_l348_action_invoke(&result_object);
c34_l349_action_invoke(&result_object);
c35_l350_action_invoke(&result_object);
c36_l351_action_invoke(&result_object);
c37_l353_action_invoke(&result_object);
c38_l355_action_invoke(&result_object);
c39_l356_action_invoke(&result_object);
c40_l357_action_invoke(&result_object);
c41_l358_action_invoke(&result_object);
c42_l359_action_invoke(&result_object);
c43_l360_action_invoke(&result_object);
c44_l362_action_invoke(&result_object);
c45_l363_action_invoke(&result_object);
c46_l364_action_invoke(&result_object);
c47_l365_action_invoke(&result_object);
c48_l366_action_invoke(&result_object);
c49_l367_action_invoke(&result_object);
c50_l369_action_invoke(&result_object);
c51_l370_action_invoke(&result_object);
c52_l371_action_invoke(&result_object);
c53_l372_action_invoke(&result_object);
c54_l373_action_invoke(&result_object);
c55_l374_action_invoke(&result_object);
c56_l375_action_invoke(&result_object);
c57_l376_action_invoke(&result_object);
c58_l377_action_invoke(&result_object);
c59_l378_action_invoke(&result_object);
c60_l379_action_invoke(&result_object);
c61_l380_action_invoke(&result_object);
c62_l381_action_invoke(&result_object);
c63_l382_action_invoke(&result_object);
c64_l383_action_invoke(&result_object);
c65_l384_action_invoke(&result_object);
c21_l332_action_invoke(&result_object);
c22_l333_action_invoke(&result_object);
c23_l334_action_invoke(&result_object);
c24_l335_action_invoke(&result_object);
c25_l336_action_invoke(&result_object);
c26_l337_action_invoke(&result_object);
c27_l338_action_invoke(&result_object);
c28_l339_action_invoke(&result_object);
c29_l340_action_invoke(&result_object);
c30_l342_action_invoke(&result_object);
c31_l343_action_invoke(&result_object);
c32_l344_action_invoke(&result_object);
c33_l345_action_invoke(&result_object);
c34_l347_action_invoke(&result_object);
c35_l348_action_invoke(&result_object);
c36_l349_action_invoke(&result_object);
c37_l350_action_invoke(&result_object);
c38_l352_action_invoke(&result_object);
c39_l354_action_invoke(&result_object);
c40_l355_action_invoke(&result_object);
c41_l356_action_invoke(&result_object);
c42_l357_action_invoke(&result_object);
c43_l358_action_invoke(&result_object);
c44_l359_action_invoke(&result_object);
c45_l361_action_invoke(&result_object);
c46_l362_action_invoke(&result_object);
c47_l363_action_invoke(&result_object);
c48_l364_action_invoke(&result_object);
c49_l365_action_invoke(&result_object);
c50_l366_action_invoke(&result_object);
c51_l368_action_invoke(&result_object);
c52_l369_action_invoke(&result_object);
c53_l370_action_invoke(&result_object);
c54_l371_action_invoke(&result_object);
c55_l372_action_invoke(&result_object);
c56_l373_action_invoke(&result_object);
c57_l374_action_invoke(&result_object);
c58_l375_action_invoke(&result_object);
c59_l376_action_invoke(&result_object);
c60_l377_action_invoke(&result_object);
c61_l378_action_invoke(&result_object);
c62_l379_action_invoke(&result_object);
c63_l380_action_invoke(&result_object);
c64_l381_action_invoke(&result_object);
c65_l382_action_invoke(&result_object);
c66_l383_action_invoke(&result_object);
}

7
src/spectests/memory.rs
View File

@ -32,7 +32,6 @@ fn start_module_1(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -53,7 +52,6 @@ fn start_module_2(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -74,7 +72,6 @@ fn start_module_3(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -111,7 +108,6 @@ fn c5_l8_assert_invalid() {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -149,7 +145,6 @@ fn c7_l11_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);
@ -188,7 +183,6 @@ fn c9_l13_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_6() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_6();
// We group the calls together
start_module_6(&result_object);
@ -353,7 +347,6 @@ fn c27_l72_assert_invalid() {
#[test]
fn test_module_7() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_7();
// We group the calls together
start_module_7(&result_object);

1
src/spectests/memory_redundancy.rs
View File

@ -190,7 +190,6 @@ fn c7_l65_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

130
src/spectests/mod.rs
View File

@ -3,69 +3,69 @@
// The _common module is not autogenerated, as it provides common functions for the spectests
mod _common;
// #[cfg(not(feature = "fast-tests"))]
// mod address;
// mod align;
// mod binary;
#[cfg(not(feature = "fast-tests"))]
mod address;
mod align;
mod binary;
mod block;
// mod br;
// mod br_if;
// mod br_table;
// mod break_drop;
// mod call;
// mod call_indirect;
// mod comments;
// mod const_;
// #[cfg(not(feature = "fast-tests"))]
// mod conversions;
// mod custom;
// mod data;
// mod endianness;
// mod exports;
// #[cfg(not(feature = "fast-tests"))]
// mod f32_;
// #[cfg(not(feature = "fast-tests"))]
// mod f32_bitwise;
// #[cfg(not(feature = "fast-tests"))]
// mod f32_cmp;
// #[cfg(not(feature = "fast-tests"))]
// mod f64_;
// #[cfg(not(feature = "fast-tests"))]
// mod f64_bitwise;
// #[cfg(not(feature = "fast-tests"))]
// mod f64_cmp;
// mod fac;
// #[cfg(not(feature = "fast-tests"))]
// mod float_exprs;
// mod float_literals;
// mod float_memory;
// #[cfg(not(feature = "fast-tests"))]
// mod float_misc;
// mod forward;
// mod func;
// mod func_ptrs;
// mod get_local;
// mod globals;
// #[cfg(not(feature = "fast-tests"))]
// mod i32_;
// #[cfg(not(feature = "fast-tests"))]
// mod i64_;
// mod if_;
// mod int_exprs;
// mod int_literals;
// mod labels;
// mod left_to_right;
// mod loop_;
// mod memory;
// mod memory_redundancy;
// mod nop;
// mod return_;
// mod select;
// mod set_local;
// mod stack;
// mod start;
// mod store_retval;
// mod switch;
// mod tee_local;
// mod typecheck;
// mod types;
mod br;
mod br_if;
mod br_table;
mod break_drop;
mod call;
mod call_indirect;
mod comments;
mod const_;
#[cfg(not(feature = "fast-tests"))]
mod conversions;
mod custom;
mod data;
mod endianness;
mod exports;
#[cfg(not(feature = "fast-tests"))]
mod f32_;
#[cfg(not(feature = "fast-tests"))]
mod f32_bitwise;
#[cfg(not(feature = "fast-tests"))]
mod f32_cmp;
#[cfg(not(feature = "fast-tests"))]
mod f64_;
#[cfg(not(feature = "fast-tests"))]
mod f64_bitwise;
#[cfg(not(feature = "fast-tests"))]
mod f64_cmp;
mod fac;
#[cfg(not(feature = "fast-tests"))]
mod float_exprs;
mod float_literals;
mod float_memory;
#[cfg(not(feature = "fast-tests"))]
mod float_misc;
mod forward;
mod func;
mod func_ptrs;
mod get_local;
mod globals;
#[cfg(not(feature = "fast-tests"))]
mod i32_;
#[cfg(not(feature = "fast-tests"))]
mod i64_;
mod if_;
mod int_exprs;
mod int_literals;
mod labels;
mod left_to_right;
mod loop_;
mod memory;
mod memory_redundancy;
mod nop;
mod return_;
mod select;
mod set_local;
mod stack;
mod start;
mod store_retval;
mod switch;
mod tee_local;
mod typecheck;
mod types;

224
src/spectests/nop.rs
View File

@ -1350,9 +1350,45 @@ fn c59_l378_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 387
fn c60_l387_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c60_l387_action_invoke");
// Line 380
fn c60_l380_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c60_l380_action_invoke");
let func_index = match result_object.module.info.exports.get("as-memory.grow-first") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(0 as i32, &result_object.instance);
assert_eq!(result, 1 as i32);
}
// Line 381
fn c61_l381_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c61_l381_action_invoke");
let func_index = match result_object.module.info.exports.get("as-memory.grow-last") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(2 as i32, &result_object.instance);
assert_eq!(result, 1 as i32);
}
// Line 382
fn c62_l382_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c62_l382_action_invoke");
let func_index = match result_object.module.info.exports.get("as-memory.grow-everywhere") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
};
let invoke_fn: fn(i32, &Instance) -> i32 = get_instance_function!(result_object.instance, func_index);
let result = invoke_fn(12 as i32, &result_object.instance);
assert_eq!(result, 3 as i32);
}
// Line 384
fn c63_l384_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c63_l384_action_invoke");
let func_index = match result_object.module.info.exports.get("as-call_indirect-first") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1362,9 +1398,9 @@ fn c60_l387_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 388
fn c61_l388_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c61_l388_action_invoke");
// Line 385
fn c64_l385_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c64_l385_action_invoke");
let func_index = match result_object.module.info.exports.get("as-call_indirect-mid1") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1374,9 +1410,9 @@ fn c61_l388_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 389
fn c62_l389_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c62_l389_action_invoke");
// Line 386
fn c65_l386_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c65_l386_action_invoke");
let func_index = match result_object.module.info.exports.get("as-call_indirect-mid2") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1386,9 +1422,9 @@ fn c62_l389_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 390
fn c63_l390_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c63_l390_action_invoke");
// Line 387
fn c66_l387_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c66_l387_action_invoke");
let func_index = match result_object.module.info.exports.get("as-call_indirect-last") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1398,9 +1434,9 @@ fn c63_l390_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 391
fn c64_l391_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c64_l391_action_invoke");
// Line 388
fn c67_l388_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c67_l388_action_invoke");
let func_index = match result_object.module.info.exports.get("as-call_indirect-everywhere") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1410,9 +1446,9 @@ fn c64_l391_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 1 as i32);
}
// Line 393
fn c65_l393_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c65_l393_action_invoke");
// Line 390
fn c68_l390_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c68_l390_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_local-first") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1422,9 +1458,9 @@ fn c65_l393_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 394
fn c66_l394_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c66_l394_action_invoke");
// Line 391
fn c69_l391_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c69_l391_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_local-last") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1434,9 +1470,9 @@ fn c66_l394_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 395
fn c67_l395_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c67_l395_action_invoke");
// Line 392
fn c70_l392_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c70_l392_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_local-everywhere") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1446,9 +1482,9 @@ fn c67_l395_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 397
fn c68_l397_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c68_l397_action_invoke");
// Line 394
fn c71_l394_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c71_l394_action_invoke");
let func_index = match result_object.module.info.exports.get("as-tee_local-first") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1458,9 +1494,9 @@ fn c68_l397_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 398
fn c69_l398_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c69_l398_action_invoke");
// Line 395
fn c72_l395_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c72_l395_action_invoke");
let func_index = match result_object.module.info.exports.get("as-tee_local-last") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1470,9 +1506,9 @@ fn c69_l398_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 399
fn c70_l399_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c70_l399_action_invoke");
// Line 396
fn c73_l396_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c73_l396_action_invoke");
let func_index = match result_object.module.info.exports.get("as-tee_local-everywhere") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1482,9 +1518,9 @@ fn c70_l399_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 401
fn c71_l401_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c71_l401_action_invoke");
// Line 398
fn c74_l398_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c74_l398_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_global-first") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1494,9 +1530,9 @@ fn c71_l401_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 402
fn c72_l402_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c72_l402_action_invoke");
// Line 399
fn c75_l399_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c75_l399_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_global-last") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1506,9 +1542,9 @@ fn c72_l402_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 403
fn c73_l403_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c73_l403_action_invoke");
// Line 400
fn c76_l400_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c76_l400_action_invoke");
let func_index = match result_object.module.info.exports.get("as-set_global-everywhere") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1518,9 +1554,9 @@ fn c73_l403_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 2 as i32);
}
// Line 405
fn c74_l405_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c74_l405_action_invoke");
// Line 402
fn c77_l402_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c77_l402_action_invoke");
let func_index = match result_object.module.info.exports.get("as-load-first") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1530,9 +1566,9 @@ fn c74_l405_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0 as i32);
}
// Line 406
fn c75_l406_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c75_l406_action_invoke");
// Line 403
fn c78_l403_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c78_l403_action_invoke");
let func_index = match result_object.module.info.exports.get("as-load-last") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1542,9 +1578,9 @@ fn c75_l406_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0 as i32);
}
// Line 407
fn c76_l407_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c76_l407_action_invoke");
// Line 404
fn c79_l404_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c79_l404_action_invoke");
let func_index = match result_object.module.info.exports.get("as-load-everywhere") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1554,9 +1590,9 @@ fn c76_l407_action_invoke(result_object: &ResultObject) {
assert_eq!(result, 0 as i32);
}
// Line 409
fn c77_l409_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c77_l409_action_invoke");
// Line 406
fn c80_l406_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c80_l406_action_invoke");
let func_index = match result_object.module.info.exports.get("as-store-first") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1566,9 +1602,9 @@ fn c77_l409_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 410
fn c78_l410_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c78_l410_action_invoke");
// Line 407
fn c81_l407_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c81_l407_action_invoke");
let func_index = match result_object.module.info.exports.get("as-store-mid") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1578,9 +1614,9 @@ fn c78_l410_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 411
fn c79_l411_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c79_l411_action_invoke");
// Line 408
fn c82_l408_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c82_l408_action_invoke");
let func_index = match result_object.module.info.exports.get("as-store-last") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1590,9 +1626,9 @@ fn c79_l411_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 412
fn c80_l412_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c80_l412_action_invoke");
// Line 409
fn c83_l409_action_invoke(result_object: &ResultObject) {
println!("Executing function {}", "c83_l409_action_invoke");
let func_index = match result_object.module.info.exports.get("as-store-everywhere") {
Some(&Export::Function(index)) => index,
_ => panic!("Function not found"),
@ -1602,33 +1638,33 @@ fn c80_l412_action_invoke(result_object: &ResultObject) {
assert_eq!(result, ());
}
// Line 415
// Line 412
#[test]
fn c81_l415_assert_invalid() {
fn c84_l412_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 127, 3, 2, 1, 0, 10, 5, 1, 3, 0, 1, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 419
// Line 416
#[test]
fn c82_l419_assert_invalid() {
fn c85_l416_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 126, 3, 2, 1, 0, 10, 5, 1, 3, 0, 1, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 423
// Line 420
#[test]
fn c83_l423_assert_invalid() {
fn c86_l420_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 125, 3, 2, 1, 0, 10, 5, 1, 3, 0, 1, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
}
// Line 427
// Line 424
#[test]
fn c84_l427_assert_invalid() {
fn c87_l424_assert_invalid() {
let wasm_binary = [0, 97, 115, 109, 1, 0, 0, 0, 1, 5, 1, 96, 0, 1, 124, 3, 2, 1, 0, 10, 5, 1, 3, 0, 1, 11];
let compilation = compile(wasm_binary.to_vec());
assert!(compilation.is_err(), "WASM should not compile as is invalid");
@ -1636,7 +1672,6 @@ fn c84_l427_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -1699,25 +1734,28 @@ fn test_module_1() {
c57_l376_action_invoke(&result_object);
c58_l377_action_invoke(&result_object);
c59_l378_action_invoke(&result_object);
c60_l387_action_invoke(&result_object);
c61_l388_action_invoke(&result_object);
c62_l389_action_invoke(&result_object);
c63_l390_action_invoke(&result_object);
c64_l391_action_invoke(&result_object);
c65_l393_action_invoke(&result_object);
c66_l394_action_invoke(&result_object);
c67_l395_action_invoke(&result_object);
c68_l397_action_invoke(&result_object);
c69_l398_action_invoke(&result_object);
c70_l399_action_invoke(&result_object);
c71_l401_action_invoke(&result_object);
c72_l402_action_invoke(&result_object);
c73_l403_action_invoke(&result_object);
c74_l405_action_invoke(&result_object);
c75_l406_action_invoke(&result_object);
c76_l407_action_invoke(&result_object);
c77_l409_action_invoke(&result_object);
c78_l410_action_invoke(&result_object);
c79_l411_action_invoke(&result_object);
c80_l412_action_invoke(&result_object);
c60_l380_action_invoke(&result_object);
c61_l381_action_invoke(&result_object);
c62_l382_action_invoke(&result_object);
c63_l384_action_invoke(&result_object);
c64_l385_action_invoke(&result_object);
c65_l386_action_invoke(&result_object);
c66_l387_action_invoke(&result_object);
c67_l388_action_invoke(&result_object);
c68_l390_action_invoke(&result_object);
c69_l391_action_invoke(&result_object);
c70_l392_action_invoke(&result_object);
c71_l394_action_invoke(&result_object);
c72_l395_action_invoke(&result_object);
c73_l396_action_invoke(&result_object);
c74_l398_action_invoke(&result_object);
c75_l399_action_invoke(&result_object);
c76_l400_action_invoke(&result_object);
c77_l402_action_invoke(&result_object);
c78_l403_action_invoke(&result_object);
c79_l404_action_invoke(&result_object);
c80_l406_action_invoke(&result_object);
c81_l407_action_invoke(&result_object);
c82_l408_action_invoke(&result_object);
c83_l409_action_invoke(&result_object);
}

1
src/spectests/return_.rs
View File

@ -1180,7 +1180,6 @@ fn c64_l310_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/select.rs
View File

@ -475,7 +475,6 @@ fn c29_l65_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/set_local.rs
View File

@ -437,7 +437,6 @@ fn c33_l202_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

2
src/spectests/stack.rs
View File

@ -208,7 +208,6 @@ fn c3_l132_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -452,7 +451,6 @@ fn start_module_2(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);

5
src/spectests/start.rs
View File

@ -137,7 +137,6 @@ fn c8_l49_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);
@ -244,7 +243,6 @@ fn c14_l78_action_invoke(result_object: &ResultObject) {
#[test]
fn test_module_2() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_2();
// We group the calls together
start_module_2(&result_object);
@ -276,7 +274,6 @@ fn start_module_3(result_object: &ResultObject) {
#[test]
fn test_module_3() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_3();
// We group the calls together
start_module_3(&result_object);
@ -303,7 +300,6 @@ fn start_module_4(result_object: &ResultObject) {
#[test]
fn test_module_4() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_4();
// We group the calls together
start_module_4(&result_object);
@ -326,7 +322,6 @@ fn start_module_5(result_object: &ResultObject) {
#[test]
fn test_module_5() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_5();
// We group the calls together
start_module_5(&result_object);

1
src/spectests/switch.rs
View File

@ -469,7 +469,6 @@ fn c27_l150_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/tee_local.rs
View File

@ -513,7 +513,6 @@ fn c34_l233_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

1
src/spectests/types.rs
View File

@ -75,7 +75,6 @@ fn c4_l57_assert_invalid() {
#[test]
fn test_module_1() {
println!("Running tests in file: {:?}", file!());
let result_object = create_module_1();
// We group the calls together
start_module_1(&result_object);

6
src/webassembly/errors.rs
View File

@ -13,12 +13,12 @@
error_chain! {
errors {
CompileError(reason: String) {
description("WebAssembly compilation error"),
display("Compilation error: '{:?}'", reason),
description("WebAssembly compilation error")
display("Compilation error: '{:?}'", reason)
}
LinkError(reason: String) {
description("WebAssembly link error"),
description("WebAssembly link error")
display("Link error: '{:?}'", reason)
}

117
src/webassembly/instance.rs
View File

@ -59,8 +59,8 @@ fn get_function_addr(
}
// TODO: To be removed.
// #[derive(Debug)]
#[repr(C)]
#[derive(Debug)]
#[repr(C, packed)]
pub struct VmCtx<'phantom> {
pub user_data: UserData,
globals: UncheckedSlice<u8>,
@ -70,8 +70,8 @@ pub struct VmCtx<'phantom> {
}
// TODO: To be removed.
// #[derive(Debug)]
#[repr(C)]
#[derive(Debug)]
#[repr(C, packed)]
pub struct UserData {
// pub process: Dispatch<Process>,
pub instance: Instance,
@ -101,6 +101,27 @@ pub struct Instance {
pub start_func: Option<FuncIndex>,
// Region start memory location
// code_base: *const (),
// C-like pointers to data (heaps, globals, tables)
pub data_pointers: DataPointers,
// Default memory bound
pub default_memory_bound: i32
}
/// Contains pointers to data (heaps, globals, tables) needed
/// by Cranelift.
#[derive(Debug)]
pub struct DataPointers {
// Pointer to tables
pub tables: UncheckedSlice<BoundedSlice<usize>>,
// Pointer to memories
pub memories: UncheckedSlice<UncheckedSlice<u8>>,
// Pointer to globals
pub globals: UncheckedSlice<u8>,
}
impl Instance {
@ -140,6 +161,7 @@ impl Instance {
import_functions.push(function);
relocations.push(vec![]);
}
debug!("Instance - Compiling functions");
// Compile the functions (from cranelift IR to machine code)
for function_body in module.info.function_bodies.values() {
@ -152,7 +174,7 @@ impl Instance {
// .map_err(|e| ErrorKind::CompileError(e.to_string()))?;
// let code_size_offset = func_context
// .compile(&*isa)
// .map_err(|e| ErrorKind::CompileError(e.to_string()))?
// .map_err(|e| ErrorKind::CompileError(e.to_string()))?;
// as usize;
let mut code_buf: Vec<u8> = Vec::new();
@ -163,7 +185,10 @@ impl Instance {
// In case traps need to be triggered, they will go to trap_sink
func_context
.compile_and_emit(&*isa, &mut code_buf, &mut reloc_sink, &mut trap_sink)
.map_err(|e| ErrorKind::CompileError(e.to_string()))?;
.map_err(|e| {
println!("CompileError: {}", e.to_string());
ErrorKind::CompileError(e.to_string())
})?;
// We set this code_buf to be readable & executable
protect_codebuf(&code_buf).unwrap();
@ -385,13 +410,30 @@ impl Instance {
_ => None,
});
// TODO: Refactor repetitive code
let tables_pointer: Vec<BoundedSlice<usize>> =
tables.iter().map(|table| table[..].into()).collect();
let memories_pointer: Vec<UncheckedSlice<u8>> =
memories.iter().map(|mem| mem[..].into()).collect();
let globals_pointer: UncheckedSlice<u8> = globals[..].into();
let data_pointers = DataPointers {
memories: memories_pointer[..].into(),
globals: globals_pointer,
tables: tables_pointer[..].into(),
};
let default_memory_bound = LinearMemory::WASM_PAGE_SIZE as i32;
Ok(Instance {
tables: Arc::new(tables.into_iter().collect()), // tables.into_iter().map(|table| RwLock::new(table)).collect()),
memories: Arc::new(memories.into_iter().collect()),
globals: globals,
functions: functions,
import_functions: import_functions,
start_func: start_func,
globals,
functions,
import_functions,
start_func,
data_pointers,
default_memory_bound,
// code_base: code_base,
})
}
@ -475,6 +517,22 @@ impl Instance {
impl Clone for Instance {
fn clone(&self) -> Instance {
// TODO: Refactor repetitive code
let tables_pointer: Vec<BoundedSlice<usize>> =
self.tables.iter().map(|table| table[..].into()).collect();
let memories_pointer: Vec<UncheckedSlice<u8>> =
self.memories.iter().map(|mem| mem[..].into()).collect();
let globals_pointer: UncheckedSlice<u8> = self.globals[..].into();
let data_pointers = DataPointers {
memories: memories_pointer[..].into(),
globals: globals_pointer,
tables: tables_pointer[..].into(),
};
let default_memory_bound =
self.memories.get(0).unwrap().current as i32;
Instance {
tables: Arc::clone(&self.tables),
memories: Arc::clone(&self.memories),
@ -482,19 +540,52 @@ impl Clone for Instance {
functions: self.functions.clone(),
start_func: self.start_func.clone(),
import_functions: self.import_functions.clone(),
data_pointers,
default_memory_bound,
// code_base: self.code_base,
}
}
}
extern "C" fn grow_memory(size: u32, memory_index: u32, instance: &mut Instance) -> i32 {
extern "C" fn grow_memory(size: u32, memory_index: u32, instance: &mut Instance) -> i32 {
// For now only the first mem can be accessed
// BTW, the memory_index coming in is random!
let memory_index: u32 = 0;
instance
let old_mem_size = instance
.memory_mut(memory_index as usize)
.grow(size)
.unwrap_or(i32::max_value()) // Should be -1 ?
.unwrap_or(i32::max_value()); // Should be -1 ?
instance.default_memory_bound =
(instance.memories.get(0).unwrap().current as usize * LinearMemory::WASM_PAGE_SIZE) as i32;
// PROBLEM: The memories changed, so I have to do the whole slice thing all over again.
let tables_pointer: Vec<BoundedSlice<usize>> =
instance.tables.iter().map(|table| table[..].into()).collect();
let memories_pointer: Vec<UncheckedSlice<u8>> =
instance.memories.iter().map(|mem| mem[..].into()).collect();
let globals_pointer: UncheckedSlice<u8> =
instance.globals[..].into();
let data_pointers = DataPointers {
memories: memories_pointer[..].into(),
globals: globals_pointer,
tables: tables_pointer[..].into(),
};
// Update data_pointers
instance.data_pointers = data_pointers;
println!(
"
new mem loc = {:p}
instance.default_memory_bound = {:?}
",
&instance.memories.get(0).unwrap().mmap.get(0),
instance.default_memory_bound
);
return old_mem_size;
}
extern "C" fn current_memory(memory_index: u32, instance: &mut Instance) -> u32 {

2
src/webassembly/memory.rs
View File

@ -18,7 +18,7 @@ pub struct LinearMemory {
pub mmap: MmapMut,
// The initial size of the WebAssembly Memory, in units of
// WebAssembly pages.
current: u32,
pub current: u32,
// The maximum size the WebAssembly Memory is allowed to grow
// to, in units of WebAssembly pages. When present, the maximum
// parameter acts as a hint to the engine to reserve memory up

2
src/webassembly/mod.rs
View File

@ -13,7 +13,7 @@ use wasmparser;
pub use self::errors::{Error, ErrorKind};
pub use self::import_object::ImportObject;
pub use self::instance::{Instance, VmCtx};
pub use self::instance::{Instance, DataPointers, VmCtx, UserData};
pub use self::memory::LinearMemory;
pub use self::module::{Export, Module, ModuleInfo};

98
src/webassembly/module.rs
View File

@ -328,35 +328,53 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> {
&self.mod_info.flags
}
fn make_global(&mut self, func: &mut ir::Function, index: GlobalIndex) -> GlobalVariable {
// Just create a dummy `vmctx` global.
fn make_table(&mut self, func: &mut ir::Function, table_index: TableIndex) -> ir::Table {
let vmctx = func.create_global_value(ir::GlobalValueData::VMContext);
let ptr_size = self.ptr_size();
let globals_base_addr = func.create_global_value(ir::GlobalValueData::Load {
// Given a vmctx, we want to retrieve vmctx.tables
// Create a table whose base address is stored at `vmctx+88`.
// 88 is the offset of the vmctx.tables pointer respect to vmctx pointer
let base = func.create_global_value(ir::GlobalValueData::Load {
base: vmctx,
offset: Offset32::new(96),
offset: Offset32::new(88),
global_type: self.pointer_type(),
});
let offset = (index * 8) as i64;
let iadd = func.create_global_value(ir::GlobalValueData::IAddImm {
base: globals_base_addr,
offset: Imm64::new(offset),
// This will be 0 when the index is 0, not sure if the offset will work regardless
let table_data_offset = (table_index as usize * ptr_size * 2) as i32;
// We get the pointer for our table index
let base_gv = func.create_global_value(ir::GlobalValueData::Load {
base: base,
offset: Offset32::new(table_data_offset),
global_type: self.pointer_type(),
});
GlobalVariable::Memory {
gv: iadd,
ty: self.mod_info.globals[index].entity.ty,
}
let bound_gv = func.create_global_value(ir::GlobalValueData::Load {
base: base,
offset: Offset32::new(table_data_offset),
global_type: I64,
});
let table = func.create_table(ir::TableData {
base_gv: base_gv,
min_size: Imm64::new(0),
bound_gv,
element_size: Imm64::new(i64::from(self.pointer_bytes())),
index_type: self.pointer_type(),
});
// println!("FUNC {:?}", func);
table
}
fn make_heap(&mut self, func: &mut ir::Function, index: MemoryIndex) -> ir::Heap {
// Create a static heap whose base address is stored at `vmctx+104`.
// Create a static heap whose base address is stored at `vmctx+96`.
let vmctx = func.create_global_value(ir::GlobalValueData::VMContext);
let heap_base_addr = func.create_global_value(ir::GlobalValueData::Load {
base: vmctx,
offset: Offset32::new(104),
offset: Offset32::new(96),
global_type: self.pointer_type(),
});
@ -370,15 +388,22 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> {
global_type: self.pointer_type(),
});
let bound_gv = func.create_global_value(ir::GlobalValueData::Load {
base: vmctx,
offset: Offset32::new(120),
global_type: I32,
});
func.create_heap(ir::HeapData {
base: heap_base,
min_size: Imm64::new(0),
guard_size: Imm64::new(LinearMemory::DEFAULT_GUARD_SIZE as i64),
style: ir::HeapStyle::Static {
bound: Imm64::new(LinearMemory::DEFAULT_HEAP_SIZE as i64),
style: ir::HeapStyle::Dynamic {
bound_gv,
},
index_type: I32,
})
// if index == 0 {
// let heap_base = self.main_memory_base.unwrap_or_else(|| {
// let new_base = func.create_global_value(ir::GlobalValueData::VMContext {
@ -423,43 +448,26 @@ impl<'environment> FuncEnvironmentTrait for FuncEnvironment<'environment> {
// }
}
fn make_table(&mut self, func: &mut ir::Function, table_index: TableIndex) -> ir::Table {
fn make_global(&mut self, func: &mut ir::Function, index: GlobalIndex) -> GlobalVariable {
// Just create a dummy `vmctx` global.
let vmctx = func.create_global_value(ir::GlobalValueData::VMContext);
let ptr_size = self.ptr_size();
// Given a vmctx, we want to retrieve vmctx.tables
// Create a table whose base address is stored at `vmctx+112`.
// 112 is the offset of the vmctx.tables pointer respect to vmctx pointer
let base = func.create_global_value(ir::GlobalValueData::Load {
let globals_base_addr = func.create_global_value(ir::GlobalValueData::Load {
base: vmctx,
offset: Offset32::new(112),
offset: Offset32::new(104),
global_type: self.pointer_type(),
});
// This will be 0 when the index is 0, not sure if the offset will work regardless
let table_data_offset = (table_index as usize * ptr_size * 2) as i32;
// We get the pointer for our table index
let base_gv = func.create_global_value(ir::GlobalValueData::Load {
base: base,
offset: Offset32::new(table_data_offset),
let offset = (index * 8) as i64;
let iadd = func.create_global_value(ir::GlobalValueData::IAddImm {
base: globals_base_addr,
offset: Imm64::new(offset),
global_type: self.pointer_type(),
});
let bound_gv = func.create_global_value(ir::GlobalValueData::Load {
base: base,
offset: Offset32::new(table_data_offset),
global_type: I64,
});
let table = func.create_table(ir::TableData {
base_gv: base_gv,
min_size: Imm64::new(0),
bound_gv,
element_size: Imm64::new(i64::from(self.pointer_bytes())),
index_type: self.pointer_type(),
});
// println!("FUNC {:?}", func);
table
GlobalVariable::Memory {
gv: iadd,
ty: self.mod_info.globals[index].entity.ty,
}
}
fn make_indirect_sig(&mut self, func: &mut ir::Function, index: SignatureIndex) -> ir::SigRef {