Activity
From 05/24/2017 to 06/22/2017
05/24/2017
- 11:26 PM Bug #55 (Closed): assertions generation in Horn clauses (smt2 file)
- with the file attached
Using *Unstable* branch I get following errors using these steps:
*lustrec -horn tcm_with_...
Also available in: Atom