Hi Shaila,
To know which search strategy is chosen, you can check the file "info"
generated by KLEE. If you don't specify a specific strategy (using the
--search command line option), the default one of KLEE is the interleaving
between a random path search and a weighted random search aiming to
Hi,
Thank you for your suggestion. I tried making symbolic link to 64 bit
libraries path and it is fine now. Below the command:
ln -s /home/felicia/metasmt/deps/Z3-4.1/lib/libz3.so /usr/lib64/libz3.so
Thank you.
Best Regards,
On 2015-09-21 13:49, Dingbao Xie wrote:
On Mon, Sep 21, 2015 at