Hello, have you considered adding support for the simd feature in C++ when you update klee in the future? We are working on an extension of the C++ simd library and are looking for a suitable testing tool to see if the following klee can support simd in the future.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
