KLEE dev question. I was wondering if the KLEE environment has ever been used for a large application like a modern video game or for development or testing of an embedded system such as a microcontroller or FPGA? Is this feasible???? Thanks David -------------- next part -------------- HTML attachment scrubbed and removed