oilshell.org

Side By Side Lines Parsed? Parse Process Time (secs) Translated? Filename
view 174 OK 0.14 OK build.sh
view 53 OK 0.06 OK common.sh
view 91 OK 0.13 OK count.sh
view 37 OK 0.06 OK demo.sh
view 15 OK 0.05 OK fix.sh
view 38 OK 0.07 OK metrics.sh
view 107 OK 0.14 OK regtest.sh
view 232 OK 0.14 OK test.sh

stderr

Parsing build.sh
        NOTE: Performed 12461 ASDL_TYPE_CHECKs.

        
Parsing regtest.sh
        NOTE: Performed 7706 ASDL_TYPE_CHECKs.

        
Parsing test.sh
        NOTE: Performed 13485 ASDL_TYPE_CHECKs.

        
Parsing count.sh
        NOTE: Performed 6904 ASDL_TYPE_CHECKs.

        
Parsing metrics.sh
        NOTE: Performed 2983 ASDL_TYPE_CHECKs.

        
Parsing demo.sh
        NOTE: Performed 2945 ASDL_TYPE_CHECKs.

        
Parsing fix.sh
        NOTE: Performed 1460 ASDL_TYPE_CHECKs.

        
Parsing common.sh
        NOTE: Performed 4007 ASDL_TYPE_CHECKs.