Stack trace (did not repeat all the while_not_2_0’s):

null
fetch_elem_1_0
EntDecl_0_0
Extends_0_0
extends_check_0_0
_2_0
while_not_2_0
while_not_2_0
while_not_2_0

Shrunken app causing failure:

application v04_1C2_81G

principal is xHi69N4 with credentials J4L

section }
  entity xHi69N4 : PC7 { }

section  } qc
  entity PC7 : xHi69N4 { }
Submitted by André Vieira on 2 July 2013 at 14:14

On 3 July 2013 at 13:47 Danny Groenewegen commented:

fixed in r5735


On 3 July 2013 at 13:47 Danny Groenewegen closed this issue.

On 16 July 2013 at 14:55 André Vieira tagged randomtesting

Log in to post comments