| Side By Side | Lines | Parsed? | Parse Process Time (secs) | Translated? | Filename |
| view | 26 | OK | 0.06 | OK | jsxPpxTest.sh |
| view | 28 | OK | 0.07 | OK | rtopIntegrationTest.sh |
| Parsing jsxPpxTest.sh |
NOTE: Performed 2910 ASDL_TYPE_CHECKs.
|
| Parsing rtopIntegrationTest.sh |
NOTE: Performed 2770 ASDL_TYPE_CHECKs.
|