MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / isTrue

Method isTrue

smt/expr.cpp:410–413  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

408}
409
410bool expr::isTrue() const {
411 C();
412 return Z3_get_bool_value(ctx(), ast()) == Z3_L_TRUE;
413}
414
415bool expr::isFalse() const {
416 C();

Callers 15

print_single_varvalFunction · 0.45
errorFunction · 0.45
check_refinementFunction · 0.45
TypingAssignmentsMethod · 0.45
overlapsMethod · 0.45
freezeMethod · 0.45
addJumpMethod · 0.45
addUBMethod · 0.45
addNoReturnMethod · 0.45
impliesMethod · 0.45
refinedByMethod · 0.45
addFnCallMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected