/tool/lrama/lib/lrama/counterexamples/
../
derivation.rb
example.rb
path.rb
production_path.rb
start_path.rb
state_item.rb
transition_path.rb
triple.rb