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

Method randomPred

tools/quick-fuzz.cpp:186–190  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

184 }
185
186 CmpInst::Predicate randomPred() {
187 return (CmpInst::Predicate)(CmpInst::FIRST_ICMP_PREDICATE +
188 C.choose(CmpInst::LAST_ICMP_PREDICATE + 1 -
189 CmpInst::FIRST_ICMP_PREDICATE));
190 }
191
192 Value *getVal(Type *Ty) {
193 int num_vals = Vals.size();

Callers 1

goMethod · 0.80

Calls 1

chooseMethod · 0.80

Tested by

no test coverage detected