Stack trace:

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
while_not_2_0
while_not_2_0
while_not_2_0
while_not_2_0
while_not_2_0
...

Caused by:

application cH_Y__5U

enum V8UD { }

section   LpzWyow;
  entity A : B {
  }

section  q+  DoDq 
  entity D : A {
  }

section CRou
  entity C : D {
  }

section  
  entity E {
    B7_PZQ <> C ( ) := false
  }
  entity B : C {
  }
Submitted by André Vieira on 12 July 2013 at 17:17

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

Log in to post comments