[klee-dev] fork

Natasha Arshad arshad.natasha at yahoo.com
Sun Apr 3 14:32:46 BST 2016


Can anyone explain why states are forked when a variable is changed to symbolic?
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list