projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
ca55b7a682352c9c67ad0d523a0f416d17991761
[model-checker.git]
/
output.h
1
/** @file output.h
2
* @brief Functions for redirecting program output
3
*/
4
5
#ifndef __OUTPUT_H__
6
#define __OUTPUT_H__
7
8
void redirect_output();
9
void clear_program_output();
10
void print_program_output();
11
12
#endif /* __OUTPUT_H__ */