unsupported: c string literals

Database: prusti-20260427-162946-c69ced09f.db

24 file(s) affected

File
alloc_ffi_c_str_doctest_1173.rs
alloc_ffi_c_str_doctest_1181.rs
alloc_ffi_c_str_doctest_1201.rs
alloc_ffi_c_str_doctest_430.rs
alloc_ffi_c_str_doctest_488.rs
alloc_ffi_c_str_doctest_509.rs
alloc_ffi_c_str_doctest_531.rs
alloc_ffi_c_str_doctest_551.rs
alloc_ffi_c_str_doctest_569.rs
alloc_ffi_c_str_doctest_589.rs
alloc_ffi_c_str_doctest_654.rs
core_ffi_c_str_doctest_225.rs
core_ffi_c_str_doctest_238.rs
core_ffi_c_str_doctest_41.rs
core_ffi_c_str_doctest_471.rs
core_ffi_c_str_doctest_507.rs
core_ffi_c_str_doctest_524.rs
core_ffi_c_str_doctest_549.rs
core_ffi_c_str_doctest_57.rs
core_ffi_c_str_doctest_575.rs
core_ffi_c_str_doctest_596.rs
core_ffi_c_str_doctest_617.rs
core_ffi_c_str_doctest_640.rs
core_ffi_c_str_doctest_72.rs