Searched refs:context_in_strict_mode (Results 1 – 2 of 2) sorted by relevance
583 static inline bool context_in_strict_mode(context_t *ctx) { in context_in_strict_mode() function
3193 if (context_in_strict_mode(ctx)) { in internalize_to_literal()4640 if (context_in_strict_mode(ctx)) { in assert_toplevel_formula()4773 if (context_in_strict_mode(ctx)) { in assert_term()