towards supporting scanalysis...
[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 #include "config.h"
9
10 #ifdef CONFIG_DEBUG
11 static inline void redirect_output() { }
12 static inline void clear_program_output() { }
13 static inline void print_program_output() { }
14 #else
15 void redirect_output();
16 void clear_program_output();
17 void print_program_output();
18 #endif /* ! CONFIG_DEBUG */
19
20 #endif /* __OUTPUT_H__ */