mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
initialize/finalize cooperate at top-level
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
04a2cce830
commit
8d3dfd36b2
|
@ -34,11 +34,17 @@ inline void cooperate(char const * task) {
|
|||
void initialize_cooperate();
|
||||
void finalize_cooperate();
|
||||
|
||||
#else
|
||||
inline void cooperate(char const *) {}
|
||||
inline void initialize_cooperate() {}
|
||||
inline void finalize_cooperate() {}
|
||||
|
||||
#endif
|
||||
|
||||
|
||||
/*
|
||||
ADD_INITIALIZER('initialize_cooperate();')
|
||||
ADD_FINALIZER('finalize_cooperate();')
|
||||
*/
|
||||
|
||||
#else
|
||||
inline void cooperate(char const *) {}
|
||||
#endif
|
||||
|
||||
|
|
Loading…
Reference in a new issue