Project

General

Profile

Activity

From 05/19/2017 to 06/17/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_...
Hamza Bourbouh
 

Also available in: Atom