Function klee_rs::klee_make_symbolic

pub fn klee_make_symbolic<T>(var: &mut T, name: &str)

Makes the object var symbolic. name is the identifier of this object used by KLEE. Does not terminate the C string.