Searched refs:context_supports_cleaninterrupt (Results 1 – 4 of 4) sorted by relevance
680 static inline bool context_supports_cleaninterrupt(context_t *ctx) { in context_supports_cleaninterrupt() function
6313 assert(context_supports_cleaninterrupt(ctx)); in context_cleanup()
3093 if (context_supports_cleaninterrupt(ctx)) { in bitblast_then_export()
8859 if (stat == STATUS_INTERRUPTED && context_supports_cleaninterrupt(ctx)) { in yices_check_context()8975 if (stat == STATUS_INTERRUPTED && context_supports_cleaninterrupt(ctx)) { in yices_check_context_with_assumptions()