Hi,
On Mon, 31 May 2021 17:40:49 +0800 (CST) 张天宁 <zhangtianning...@126.com> 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 klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
