oilshell.org

Files Max Lines Total Lines Parse Failures Max Parse Time (secs) Total Parse Time (secs) Translation Failures Directory
2 612 813 0 0.77 0.97 0 arp/
1 165 165 0 0.18 0.18 0 carp/
1 99 99 0 0.12 0.12 0 fdpass/
3 285 515 0 0.23 0.48 0 icmp/
2 333 433 0 0.58 0.71 0 if/
1 573 573 0 0.66 0.66 0 if_bridge/
1 763 763 0 0.82 0.82 0 if_gif/
1 416 416 0 0.5 0.5 0 if_pppoe/
1 198 198 0 0.24 0.24 0 if_tap/
1 138 138 0 0.17 0.17 0 if_tun/
1 115 115 0 0.12 0.12 0 if_vlan/
1 78 78 0 0.1 0.1 0 in_cksum/
1 106 106 0 0.15 0.15 0 mcast/
5 226 982 0 0.36 1.41 0 mpls/
3 703 1,385 0 0.86 1.6 0 ndp/
7 530 1,988 0 0.57 2.28 0 net/
1 63 63 0 0.12 0.12 0 npf/
4 406 1,312 0 0.4 1.38 0 route/

Side By Side Lines Parsed? Parse Process Time (secs) Translated? Filename
view 314 OK 0.3 OK net_common.sh

stderr

Parsing net_common.sh
        NOTE: Performed 21193 ASDL_TYPE_CHECKs.