Files
cproof/tests/functionaltests/test_carbons.h
2015-07-05 17:29:33 +01:00

2 lines
40 B
C

void send_enable_carbons(void **state);