Add error when a terminal symbol is passed to %nterm
#527
Job | Run time |
---|---|
9s | |
29s | |
30s | |
5m 57s | |
5m 55s | |
1m 31s | |
3s | |
12s | |
24s | |
20s | |
26s | |
26s | |
16s | |
12s | |
13s | |
15s | |
11s | |
17m 29s |
%nterm
#527
Job | Run time |
---|---|
9s | |
29s | |
30s | |
5m 57s | |
5m 55s | |
1m 31s | |
3s | |
12s | |
24s | |
20s | |
26s | |
26s | |
16s | |
12s | |
13s | |
15s | |
11s | |
17m 29s |