lib/lrama/option_parser.rb in lrama-0.6.5 vs lib/lrama/option_parser.rb in lrama-0.6.6
- old
+ new
@@ -117,11 +117,12 @@
return h
end
VALID_TRACES = %w[
none locations scan parse automaton bitsets
- closure grammar rules resource sets muscles tools
- m4-early m4 skeleton time ielr cex all
+ closure grammar rules actions resource
+ sets muscles tools m4-early m4 skeleton time
+ ielr cex all
]
def validate_trace(trace)
list = VALID_TRACES
h = {}