projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
model: add "# redundant" stat
[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__ */