Hi Laszlo,
There is no optimal code style for symbolic execution, although
sometimes the style can significantly influence performance. There is
some research on these topics (e.g., estimating constraint solving
performance, understanding the impact of program transformations in
symbolic
Hi,
I'm using klee to check various properties of models. When generating the C
representation I have two options:
1. A bunch of global declarations. This is the current approach, and pretty
easy to generate.
2. A more object-oriented way: state is local to components and components