Сбой Klee при использовании параметров --posix-runtime или --libc=uclibc
Когда я запускаю Klee с опциями --posix-runtime и / или --libc=uclibc, Klee падает с дампом ядра. Почему это происходит?
Когда я запускаю Klee с опциями --posix-runtime и / или --libc=uclibc, Klee падает с дампом ядра. Почему это происходит?