Source parsing: consider end program with no program header (#1078)
#1333
| Job | Run time |
|---|---|
| 9s | |
| 56s | |
| 10s | |
| 1m 15s |
end program with no program header (#1078)
#1333
| Job | Run time |
|---|---|
| 9s | |
| 56s | |
| 10s | |
| 1m 15s |