austrin

> Final loop variable value: I'd prefer it to be one beyond the last, since this behaviour matches what you'd expect from a loop variable in most languages. We could...

OK, here it is: https://gist.github.com/austrin/981690606d9f695d9efb591617b634ac

An example where I gave up on using checktestdata and switched to python due to speed: problem I (Interception) from NCPC 2016. Problem package available here: http://ncpc.idi.ntnu.no/ncpc2016/ncpc2016-packages.tar.bz2 (there is an...

> That's a decent bit less, but I'm not sure it warrants introducing a completely new command. Right, I agree that this speed improvement on its own is not sufficient...

@eldering having been frustrated by a few slow ctd scripts in the past weeks, I was wondering a bit more about potential speed improvements. One thought: would it be possible...

I don't think so, but one set you could look at is NWERC 2017, in particular the problems ascendingphoto and factorfree. The validators look almost the same, except that one...

> We have to separate the group of contributors to checktestdata from the group of users of checktestdata to come up with a qualified decision how to proceed. Some further...

In case anyone else is interested in how much faster the antlr rewrite is, I made the following plot:  Each dot is a checktestdata script for a problem. Its...

@TPolzer re the cluster around 100 ms, I think it is also just about the startup overhead you mention. Below is a similar plot for individual test cases (i.e., each...