&'static CStr

src/lib.rs

@@ -38,7 +38,7 @@ pub fn kassume(cond: bool) {
 pub fn kassume(_cond: bool) {}
 
 #[cfg(feature = "klee-analysis")]
-pub fn kmksymbol<T>(t: &mut T, name: &CStr) {
+pub fn kmksymbol<T>(t: &mut T, name: &'static CStr) {
     unsafe {
         ll::klee_make_symbolic(
             t as *mut T as *mut c_void,
@@ -49,7 +49,7 @@ pub fn kmksymbol<T>(t: &mut T, name: &CStr) {
 }
 
 #[cfg(not(feature = "klee-analysis"))]
-pub fn kmksymbol<T>(_t: &mut T, _name: &CStr) {}
+pub fn kmksymbol<T>(_t: &mut T, _name: &'static CStr) {}
 
 #[macro_export]
 macro_rules! ksymbol {