Project

General

Profile

Bug #57

horn-traces backend not working when not initialising a pre operator

Added by Hamza Bourbouh about 2 years ago. Updated over 1 year ago.

Status:
Closed
Priority:
High
Category:
Bug
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;

error.lus (492 Bytes) Hamza Bourbouh, 10/06/2017 08:22 PM

History

#1 Updated by Pierre-Loïc Garoche over 1 year ago

  • Status changed from New to Closed
Comment

Solved with commit 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c

Also available in: Atom PDF