Hi,
I ran sbase with klovo.io's KLEE extension and it reported a write to read-only memory: Asan confirms for revision 9aeab2a47c: --- /basename "" "" AddressSanitizer:DEADLYSIGNAL ================================================================= ==176910==ERROR: AddressSanitizer: SEGV on unknown address ==176910==The signal is caused by a WRITE memory access. .. --- Best, Frank
