Add benchmark definition for TracerX-WP
This pull request adds support for the TracerX tool with the weakest precondition interpolation method.
Edited by Arpita Dutta
This pull request adds support for the TracerX tool with the weakest precondition interpolation method.