MCPcopy Create free account
hub / github.com/LPC4/Full-Stack / kernel_boot_warn_error_format

Function kernel_boot_warn_error_format

tests/integration/platform_stdlib.rs:541–557  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

539 if Vec_pop<i64>(&v, &out) == false { return 8 }
540 if out != 99 * 3 { return 9 }
541 if v.len != 99 { return 10 }
542
543 Vec_clear<i64>(&v)
544 if v.len != 0 { return 11 }
545 if Vec_pop<i64>(&v, &out) == true { return 12 }
546
547 Vec_deinit<i64>(&v)
548 if v.len != 0 or v.capacity != 0 { return 13 }
549 return 0
550}
551"#,
552 );
553 assert_eq!(exit, Some(0));
554}
555
556#[test]
557fn hosted_vec_copy_aliases_allocation() {
558 let (_, exit) = run_hll(
559 r#"
560memory_allocator := import("memory_allocator")

Callers

nothing calls this directly

Calls 1

run_kernel_hllFunction · 0.70

Tested by

no test coverage detected