***
This email originates from outside Imperial. Do not click on links and
attachments unless you recognise the sender.
If you trust the sender, add them to your safe senders list
https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for
this address.
***
Hi Awanish,
Unfortunately that feature has not been maintained -- we need to fix it,
but there are no immediate plans to do so.
You may be able to achieve something similar via seeding (-seed-file).
Or if you just want to replay the test case, use klee-replay or link
with the libkleeRuntest li
***
This email originates from outside Imperial. Do not click on links and
attachments unless you recognise the sender.
If you trust the sender, add them to your safe senders list
https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for
this address.
***