Giters

5nizza / sdf-hoa

Bounded synthesis via safety games and BDDs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Repeated input and output variables

5nizza opened this issue · comments

commented

Because I used vector instead of set in the parse_tlsf function, the same input were repeated several times.
As a result the vector of inputs/outputes contained duplicates.

commented

Fixed in 07985e0.