In the current experiments, KLEE adopt only one core from CPU. I propose to adopt the following solution: - https://dslab.epfl.ch/pubs/cloud9.pdf - https://srg.doc.ic.ac.uk/files/papers/klee-multisolver-cav-13.pdf - http://cloud9.epfl.ch/ This is mainly because when we try to check program correctness.
In the current experiments, KLEE adopt only one core from CPU. I propose to adopt the following solution:
This is mainly because when we try to check program correctness.