blob: eecdb7931b4f09a70476c96e4523f4df23317270 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
struct rust_env {
size_t num_sched_threads;
size_t min_stack_size;
size_t max_stack_size;
char* logspec;
bool check_claims;
bool detailed_leaks;
char* rust_seed;
};
rust_env* load_env();
void free_env(rust_env *rust_env);
|