Side By Side | Lines | Parsed? | Parse Process Time (secs) | Translated? | Filename |
view | 92 | OK | 0.07 | OK | tst-cancel-wrappers.sh |
view | 77 | OK | 0.17 | OK | tst-tls6.sh |
Parsing tst-tls6.sh |
NOTE: Performed 7337 ASDL_TYPE_CHECKs. |
Parsing tst-cancel-wrappers.sh |
NOTE: Performed 2854 ASDL_TYPE_CHECKs. |