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

Method isNegative

smt/expr.cpp:443–445  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

441}
442
443expr expr::isNegative() const {
444 return sign() == 1;
445}
446
447unsigned expr::bits() const {
448 C();

Callers 9

printValMethod · 0.80
isInboundsMethod · 0.80
isDereferenceableMethod · 0.80
toSMTMethod · 0.80
toSMTMethod · 0.80
sremMethod · 0.80
add_no_soverflowMethod · 0.80
smul_fix_satMethod · 0.80
cmp_eqMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected