search

zimmski / tavor

A generic fuzzing and delta-debugging framework
MIT License
245 stars 10 forks source link

Duplicate forward declarations with variables do not work #91

Open zimmski opened 8 years ago

zimmski commented 8 years ago 
START = Number<x> " + " Number<y> " = " ${x + y}

Number = [1-9]*([\d])

Generates always the same numbers for x and y. However, the following works as expected:

Number = [1-9]*([\d])

START = Number<x> " + " Number<y> " = " ${x + y}

So the problem is in the forward declaration handling.