-
Alexandre Duret-Lutz authored
attribute. (tgba_succ_iterator_gspn_eesrg::step): Use first_. Loop until succ returns some successors. Report from Soheib Baarir.
10b2511d
To find the state of this project's repository at the time of any of these versions, check out the tags.