| Side By Side | Lines | Parsed? | Parse Process Time (secs) | Translated? | Filename |
| view | 186 | OK | 0.11 | OK | gen-lists-of-programs.sh |
| view | 477 | OK | 0.68 | OK | gendocs.sh |
| Parsing gen-lists-of-programs.sh |
NOTE: Performed 6719 ASDL_TYPE_CHECKs.
|
| Parsing gendocs.sh |
NOTE: Performed 35085 ASDL_TYPE_CHECKs.
|