Project

General

Profile

Bug #57

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

Added by Hamza Bourbouh about 3 years ago. Updated 2 months 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 2 years ago

  • Status changed from New to Closed
Comment

Solved with commit 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c

#2 Updated by Anonymous 2 months ago

Comment

We have created The Ultimate Fake Vs Real [[https://www.buyyzys.org/cinder-fake-yeezy-350-v2-sneakers-for-sale.html Fake Yeezy 350 V2 Cinder]] Guide for the Yeezy Boost 350 V2 Cinder detailed with real vs fake Yeezy Cinder images that reveal the top fake indicators, so you can be sure you have a real, legit sneaker.

Also available in: Atom PDF