oilshell.org
WILD
/
boringssl
/ util
Successfully parsed
1
shell scripts totalling
58
lines in
0.11
seconds (
527.3
lines/sec).
0
OSH-to-Oil translations failed.
Side By Side
Lines
Parsed?
Parse Process Time (secs)
Translated?
Filename
view
58
OK
0.11
OK
generate-coverage.sh
stderr
Parsing generate-coverage.sh
NOTE: Performed 5627 ASDL_TYPE_CHECKs.