I would be grateful if there is a smtlib2 syntax conversion code. I am having troubles running latest Z3 onto an example (CRIME from JPF-security in cashew) as SPF reports a solution expression error onto indexof2. Hence, i'm trying to convert to smtlib2 but cant seem to find any relevant translators inside SPF's translate folders. Do let me know if there is any.
Edit. i have included the files used so the problem can be reproduced. As well as the output of the error.
I would be grateful if there is a smtlib2 syntax conversion code. I am having troubles running latest Z3 onto an example (CRIME from JPF-security in cashew) as SPF reports a solution expression error onto indexof2. Hence, i'm trying to convert to smtlib2 but cant seem to find any relevant translators inside SPF's translate folders. Do let me know if there is any.
Edit. i have included the files used so the problem can be reproduced. As well as the output of the error.
reproduce.zip
Thanks,
Arun