Commit ee64ce4c authored by Salomon Sickert's avatar Salomon Sickert

Merge branch 'ltl2dpa-complete-fix' into 'master'

[ltl2dpa]  Fix completing automata.

See merge request i7/owl!277
parents d18dd14c c93f72df
Pipeline #79179 passed with stages
in 18 minutes and 41 seconds