/tool/lrama/lib/lrama/counterexamples/

• ../
• derivation.rb
• example.rb
• node.rb
• path.rb
• state_item.rb
• triple.rb