The Pedigree Project 0.1
contracts.h
1#ifndef SIGNAL_EXEC_CONTRACTS_H
2#define SIGNAL_EXEC_CONTRACTS_H
3
4long long test_milliseconds(void);
5int test_wait_flag(volatile int* flag);
6void test_pause(void);
7
8int signal_contract(const char* name);
9int exec_contract(const char* program, const char* name);
10int exec_image_contract(int argc, char* argv[]);
11
12#endif