Hello, I am a master student interested in symbol execution. I would like to ask a question, if I want to extend specialfunction in klee by analogy to functions such as klee _ assume, klee _ make _ symbol, etc. What code files should I modify in addition to adding function implementations in specialfunction.cpp?
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
