5nizza / sdf-hoa

Bounded synthesis via safety games and BDDs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The input argument `-k` if provided several times is handled incorrectly

5nizza opened this issue · comments

It only uses the first value of k. Now it is fixed and changed the semantics of -k 4 -k 8: this now means to try two values of k: 4 and 8.