Bug #57
horn-traces backend not working when not initialising a pre operator
Start date:
10/06/2017
Due date:
% Done:
0%
Description
lustrec -horn error.lus
works
but lustrec -horn-traces error.lus
generates a memory error for variables of type
v = pre v2;
History
#1 Updated by Pierre-Loïc Garoche about 1 year ago
- Status changed from New to Closed
Solved with commit 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c