File tree Expand file tree Collapse file tree 4 files changed +11
-12
lines changed
Expand file tree Collapse file tree 4 files changed +11
-12
lines changed Original file line number Diff line number Diff line change @@ -194,7 +194,7 @@ impl WasmVerifier {
194194 /// Print human-readable verification results
195195 pub fn print_results ( & self , result : & WasmVerificationResult ) {
196196 if result. valid {
197- println ! ( "{} WebAssembly module is valid" , "✅" . bright_green) ;
197+ println ! ( "{} WebAssembly module is valid" , "✅" . bright_green( ) ) ;
198198 } else {
199199 println ! ( "{} WebAssembly module validation failed" , "❌" . bright_red) ;
200200 }
Original file line number Diff line number Diff line change 1919) ) ]
2020compile_error ! ( "verified-static-allocation requires formal-verification-required" ) ;
2121
22- #[ cfg( all(
23- feature = "mathematical-proofs" ,
24- not( feature = "static-memory-layout" )
25- ) ) ]
22+ #[ cfg( all( feature = "mathematical-proofs" , not( feature = "static-memory-layout" ) ) ) ]
2623compile_error ! ( "mathematical-proofs requires static-memory-layout" ) ;
2724
2825#[ cfg( all( feature = "hardware-isolation" , not( feature = "component-isolation" ) ) ) ]
@@ -191,7 +188,7 @@ pub mod standards {
191188 {
192189 & [
193190 "bounded-capacity-limits" ,
194- "bounded-runtime-checks" ,
191+ "bounded-runtime-checks" ,
195192 "bounded-monitoring" ,
196193 ]
197194 // ASIL-A/B
@@ -377,10 +374,7 @@ mod tests {
377374 #[ test]
378375 fn test_capability_consistency ( ) {
379376 // Verify that enabled features are consistent
380- use standards:: {
381- AsilLevel ,
382- SafetyStandardMapping ,
383- } ;
377+ use standards:: { AsilLevel , SafetyStandardMapping } ;
384378
385379 assert ! (
386380 AsilLevel :: validates_current_config( ) ,
Original file line number Diff line number Diff line change @@ -82,15 +82,14 @@ extern crate wrt_panic;
8282#[ cfg( all(
8383 not( feature = "std" ) ,
8484 not( test) ,
85- feature = "standalone-panic-handler-only" , // This feature doesn't exist, effectively disabling
8685 not( any(
8786 feature = "enable-panic-handler" ,
8887 feature = "dev-panic-handler" ,
8988 feature = "asil-b-panic-handler" ,
9089 feature = "asil-d-panic-handler"
9190 ) )
9291) ) ]
93- #[ panic_handler] // Disabled to avoid conflicts
92+ #[ panic_handler] // Simple fallback panic handler for no_std builds
9493fn panic ( _info : & core:: panic:: PanicInfo ) -> ! {
9594 // Simple infinite loop for minimal panic handling
9695 loop {
Original file line number Diff line number Diff line change @@ -2549,6 +2549,12 @@ impl Default for MemoryWrapper {
25492549 }
25502550}
25512551
2552+ impl AsRef < Arc < Memory > > for MemoryWrapper {
2553+ fn as_ref ( & self ) -> & Arc < Memory > {
2554+ & self . 0
2555+ }
2556+ }
2557+
25522558impl MemoryWrapper {
25532559 /// Create a new memory wrapper
25542560 pub fn new ( memory : Memory ) -> Self {
You can’t perform that action at this time.
0 commit comments