Files
cproof/tests/functionaltests/test_carbons.h
2026-03-09 13:14:44 +01:00

7 lines
248 B
C

void send_enable_carbons(void **state);
void connect_with_carbons_enabled(void **state);
void send_disable_carbons(void **state);
void receive_carbon(void **state);
void receive_self_carbon(void **state);
void receive_private_carbon(void **state);