Hi,
On Mon, 31 May 2021 17:40:49 +0800 (CST) 张天宁 <[email protected]> wrote: > Is there any way to achieve the goal without changing the program > code? You could write a model for it or re-use an existing one, e.g. from: https://github.com/efeslab/agamotto Kind regards, Frank _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
