File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -23,7 +23,8 @@ fails.first(n).each do |path|
2323 src = File . read ( path )
2424 lines = src . lines
2525 # Binary search for first failing prefix
26- lo = 1 ; hi = lines . size
26+ lo = 1
27+ hi = lines . size
2728 while lo < hi
2829 mid = ( lo + hi ) / 2
2930 snippet = lines [ 0 ...mid ] . join
Original file line number Diff line number Diff line change 11#!/usr/bin/env ruby
2- require ' interscript/command'
2+ require " interscript/command"
33
44if ARGV . any? && !Interscript ::Command . all_tasks . key? ( ARGV . first )
55 ARGV . unshift :translit
Original file line number Diff line number Diff line change 33# at the rule level (from/to/constraints), not just test counts.
44
55require "interscript"
6- require "set"
76require "interscript/isc"
87require "json"
98
@@ -39,7 +38,7 @@ class DeepVerifier
3938 end
4039
4140 # Compare tests
42- imp_tests = Set . new ( imp_data [ :tests ] )
41+ Set . new ( imp_data [ :tests ] )
4342 isc_tests = Set . new ( isc_data [ :tests ] )
4443 missing = imp_data [ :tests ] . reject { |t | isc_tests . include? ( t ) }
4544 details << "missing #{ missing . size } tests from ISC" if missing . any?
@@ -83,7 +82,7 @@ class DeepVerifier
8382 metadata : metadata ,
8483 tests : tests ,
8584 aliases : aliases ,
86- rule_counts : rule_counts ,
85+ rule_counts : rule_counts
8786 }
8887 rescue => e
8988 warn "IMP fail #{ path } : #{ e . message [ 0 ..80 ] } "
@@ -108,7 +107,7 @@ class DeepVerifier
108107 metadata : metadata ,
109108 tests : tests ,
110109 aliases : aliases ,
111- rule_counts : rule_counts ,
110+ rule_counts : rule_counts
112111 }
113112 rescue => e
114113 warn "ISC fail #{ path } : #{ e . message [ 0 ..80 ] } "
@@ -204,7 +203,7 @@ if $PROGRAM_NAME == __FILE__
204203 results . transform_values do |r |
205204 {
206205 status : r . status ,
207- details : r . details ,
206+ details : r . details
208207 }
209208 end
210209 ) )
Original file line number Diff line number Diff line change 33# Reports per-file equivalence status.
44
55require "interscript"
6- require "set"
76require "interscript/isc"
87require "json"
98
@@ -31,7 +30,7 @@ class Verifier
3130 isc_set = Set . new ( isc_data [ :tests ] )
3231
3332 missing_from_isc = imp_data [ :tests ] . reject { |t | isc_set . include? ( t ) }
34- extra_in_isc = isc_data [ :tests ] . reject { |t | imp_set . include? ( t ) }
33+ isc_data [ :tests ] . reject { |t | imp_set . include? ( t ) }
3534
3635 if missing_from_isc . any?
3736 details << "missing #{ missing_from_isc . size } tests from ISC"
@@ -55,7 +54,7 @@ class Verifier
5554 {
5655 tests_count : tests . size ,
5756 tests : tests ,
58- stages_count : dsl . stages &.size || 0 ,
57+ stages_count : dsl . stages &.size || 0
5958 }
6059 rescue => e
6160 warn "IMP parse fail #{ path } : #{ e . message [ 0 ..80 ] } "
@@ -69,7 +68,7 @@ class Verifier
6968 {
7069 tests_count : doc [ :tests ] . size ,
7170 tests : doc [ :tests ] . map { |t | [ t [ :input ] , t [ :expected ] ] } ,
72- stages_count : doc [ :stages ] . size ,
71+ stages_count : doc [ :stages ] . size
7372 }
7473 rescue => e
7574 warn "ISC parse fail #{ path } : #{ e . message [ 0 ..80 ] } "
@@ -121,7 +120,7 @@ if $PROGRAM_NAME == __FILE__
121120 status : r . status ,
122121 details : r . details ,
123122 imp : r . imp_data ,
124- isc : r . isc_data ,
123+ isc : r . isc_data
125124 }
126125 end
127126 ) )
You can’t perform that action at this time.
0 commit comments