[klee-dev] A question about klee's support for simd

[komorebi]

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.
 
-------------- next part --------------
HTML attachment scrubbed and removed