Skip to content
Commit fc1a965c authored by Marek Chalupa's avatar Marek Chalupa
Browse files

bself: fix initial relations 

If you match the set created from exit states to some inductive set,
use the inductive set (all of them unified).
parent c091a35c
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment