antithesis-instrumentation 0.1.0

Methods for Rust programs to compile with coverage instrumentation for the Antithesis platform. 
1
2
3
4
5
6
7
8
9
10
11

// This file contains glue code that includes the (C++-based .a file)
// And makes sure the linker doesn't remove it eagerly.

#[link(name = "antithesis_instrumentation", kind = "static")]
unsafe extern "C" {
    fn antithesis_load_libvoidstar();
}

#[used]
#[unsafe(link_section = ".init_array")]
static _ANTITHESIS_INIT: unsafe extern "C" fn() = antithesis_load_libvoidstar;