Searched refs:check_assert (Results 1 – 2 of 2) sorted by relevance
87 check_assert=""114 check-assert:) check_assert="$val" ;;348 if [ "$check_assert" != "" ]; then350 _Static_assert($check_assert, "$check_assert");
233 static bool check_assert(Btor *btor, BoolectorNode *pre, struct instruction *insn) in check_assert() function273 return check_assert(btor, *pre, insn); in check_call()