Function klee_rs::klee_assume[−][src]

pub fn klee_assume(condition: bool)
Expand description

Assumes that the condition is true during KLEE runtime.