Project

General

Profile

Edit Actions

Bug #57

closed

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

Added by Hamza Bourbouh about 4 years ago. Updated about 1 year ago.

Status:
Closed
Priority:
High
Category:
Bug
Start date:
10/06/2017
Due date:
% Done:

0%

Estimated time:

Description

lustrec -horn error.lus
works
but lustrec -horn-traces error.lus
generates a memory error for variables of type
v = pre v2;


Files

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

Also available in: Atom PDF