oilshell.org

Side By Side Lines Parsed? Parse Process Time (secs) Translated? Filename
view 44 OK 0.1 OK minimise_corpuses.sh
view 118 OK 0.15 OK refresh_ssl_corpora.sh

stderr

Parsing refresh_ssl_corpora.sh
        NOTE: Performed 9300 ASDL_TYPE_CHECKs.

        
Parsing minimise_corpuses.sh
        NOTE: Performed 4308 ASDL_TYPE_CHECKs.