CAUTION: This message came from outside Imperial. Do not click links or open attachments unless you recognise the sender and were expecting this email.
Hi all, I am working on a project where I need to make only a specific portion of a buffer symbolic while keeping the rest concrete. I found a thread from 2015 on this exact topic, where Sean Bartell suggested two approaches: - Make the whole array symbolic, then overwrite part of it with concrete values. - Make a temporary array symbolic, then copy the symbolic values into the target range of the large array. Is there a more recommended way to achieve this in current KLEE? Any help or suggestions would be greatly appreciated. Best regards, Mathew
_______________________________________________ klee-dev mailing list -- [email protected] To unsubscribe send an email to [email protected]
