1
1
use wasmtime:: * ;
2
+ use wasmtime_test_macros:: wasmtime_test;
2
3
3
- #[ test ]
4
+ #[ wasmtime_test ( strategies ( not ( Cranelift ) ) ) ]
4
5
#[ cfg_attr( miri, ignore) ]
5
- fn ensure_compatibility_between_winch_and_table_lazy_init ( ) -> Result < ( ) > {
6
- let mut config = Config :: new ( ) ;
6
+ fn ensure_compatibility_between_winch_and_table_lazy_init ( config : & mut Config ) -> Result < ( ) > {
7
7
config. table_lazy_init ( false ) ;
8
- config. strategy ( Strategy :: Winch ) ;
9
8
let result = Engine :: new ( & config) ;
10
9
match result {
11
10
Ok ( _) => {
@@ -22,12 +21,10 @@ fn ensure_compatibility_between_winch_and_table_lazy_init() -> Result<()> {
22
21
Ok ( ( ) )
23
22
}
24
23
25
- #[ test ]
24
+ #[ wasmtime_test ( strategies ( not ( Cranelift ) ) ) ]
26
25
#[ cfg_attr( miri, ignore) ]
27
- fn ensure_compatibility_between_winch_and_signals_based_traps ( ) -> Result < ( ) > {
28
- let mut config = Config :: new ( ) ;
26
+ fn ensure_compatibility_between_winch_and_signals_based_traps ( config : & mut Config ) -> Result < ( ) > {
29
27
config. signals_based_traps ( false ) ;
30
- config. strategy ( Strategy :: Winch ) ;
31
28
let result = Engine :: new ( & config) ;
32
29
match result {
33
30
Ok ( _) => {
@@ -46,12 +43,12 @@ fn ensure_compatibility_between_winch_and_signals_based_traps() -> Result<()> {
46
43
Ok ( ( ) )
47
44
}
48
45
49
- #[ test ]
46
+ #[ wasmtime_test ( strategies ( not ( Cranelift ) ) ) ]
50
47
#[ cfg_attr( miri, ignore) ]
51
- fn ensure_compatibility_between_winch_and_generate_native_debuginfo ( ) -> Result < ( ) > {
52
- let mut config = Config :: new ( ) ;
48
+ fn ensure_compatibility_between_winch_and_generate_native_debuginfo (
49
+ config : & mut Config ,
50
+ ) -> Result < ( ) > {
53
51
config. debug_info ( true ) ;
54
- config. strategy ( Strategy :: Winch ) ;
55
52
let result = Engine :: new ( & config) ;
56
53
match result {
57
54
Ok ( _) => {
0 commit comments