oilshell.org

Files Max Lines Total Lines Parse Failures Max Parse Time (secs) Total Parse Time (secs) Translation Failures Directory
3 405 606 0 0.36 0.56 0 mk/

Side By Side Lines Parsed? Parse Process Time (secs) Translated? Filename
view 13 OK 0.05 OK find_lib.sh
view 100 OK 0.13 OK machine.sh
view 314 OK 0.38 OK mkdeps.sh
view 250 OK 0.26 OK os.sh

stderr

Parsing os.sh 
        NOTE: Performed 19073 ASDL_TYPE_CHECKs.
Parsing mkdeps.sh 
        NOTE: Performed 26109 ASDL_TYPE_CHECKs.
Parsing find_lib.sh 
        NOTE: Performed 1675 ASDL_TYPE_CHECKs.
Parsing machine.sh 
        NOTE: Performed 7787 ASDL_TYPE_CHECKs.