src/prove.h


1
2
3
4
5
6
7
8
9
10
11
12

#ifndef _PROVE_H_
#define _PROVE_H_

void prove(void);

#ifdef ENABLE_PROVE
void prove_save_tty_output(const char *s);
int is_proving();
#endif

#endif /* _PROVE_H_ */