Lines Matching full:execution
68 /// execution by calling utils::sanity_failure(). The check is only performed
87 /// If the invariant does not hold, execution is immediately terminated. The
100 /// If the invariant does not hold, execution is immediately terminated. The
110 /// If the precondition does not hold, execution is immediately terminated. The
123 /// If the precondition does not hold, execution is immediately terminated. The
133 /// If the postcondition does not hold, execution is immediately terminated.
146 /// If the postcondition does not hold, execution is immediately terminated.
156 /// If the code path in which this macro is located is reached, execution is
158 /// execution of the program (and to prevent build failures due to some code
170 /// If the code path in which this macro is located is reached, execution is
172 /// execution of the program (and to prevent build failures due to some code