lib/lrama/command.rb in lrama-0.5.3 vs lib/lrama/command.rb in lrama-0.5.4
- old
+ new
@@ -65,11 +65,11 @@
def validate_report(report)
bison_list = %w[states itemsets lookaheads solved counterexamples cex all none]
others = %w[verbose]
list = bison_list + others
- not_supported = %w[counterexamples cex none]
+ not_supported = %w[cex none]
h = { grammar: true }
report.each do |r|
if list.include?(r) && !not_supported.include?(r)
h[r.to_sym] = true
@@ -119,16 +119,16 @@
opt.on('-t') { } # Do nothing
# Output Files:
opt.on('-h', '--header=[FILE]') {|v| @header = true; @header_file = v }
opt.on('-d') { @header = true }
- opt.on('-r', '--report=THINGS') {|v| @report = v.split(',') }
+ opt.on('-r', '--report=THINGS', Array) {|v| @report = v }
opt.on('--report-file=FILE') {|v| @report_file = v }
opt.on('-v') { } # Do nothing
opt.on('-o', '--output=FILE') {|v| @outfile = v }
# Hidden
- opt.on('--trace=THINGS') {|v| @trace = v.split(',') }
+ opt.on('--trace=THINGS', Array) {|v| @trace = v }
# Error Recovery
opt.on('-e') {|v| @error_recovery = true }
opt.parse!(@argv)