lib/lrama/counterexamples/transition_path.rb in lrama-0.6.9 vs lib/lrama/counterexamples/transition_path.rb in lrama-0.6.10

- old
+ new

@@ -1,4 +1,6 @@ +# frozen_string_literal: true + module Lrama class Counterexamples class TransitionPath < Path def type :transition