(ctx: *const *mut VmCtx)
| 1 | #[quickcheck_macros::quickcheck] |
| 2 | fn check_ptr_to_ref(ctx: *const *mut VmCtx) -> TestResult { |
| 3 | init(); |
| 4 | let result = ptr_to_ref(ctx); |
| 5 | TestResult::passed() |
| 6 | } |
| 7 | #[quickcheck_macros::quickcheck] |
| 8 | fn check_transmut_netlist(nl: *const Netlist) -> TestResult { |
| 9 | init(); |
nothing calls this directly
no test coverage detected