Tobias Meggendorfer
Tobias Meggendorfer
Making all links relative should definitely be done, but is trivial. Content wise, the following would still be available: 1) [Structuring readme](https://github.com/sosy-lab/benchexec/compare/main...incaseoftrouble:benchexec:documentation#diff-b335630551682c19a781afebcf4d07bf978fb1f8ac04c6bf87428ed5106870f5R47-L63) 2) Moving the python API stuff to a...
> I unfortunately don't have a lot of time to pursue this further, and from the linked diff it is hard to see the exact changes and their benefits. So...
> The examples here may not be the best examples to show the importance of this feature. Yes, I didn't want to go domain specific. A more useful example would...
I found some weird behaivour which might be related: ```java @Mapper( unmappedSourcePolicy = ReportingPolicy.ERROR ) public abstract class Test { public class Bar { public String testString; } abstract Bar...
> I believe that we can improve the error reporting buy ignoring the "bean" properties if a source parameter is mapped directly, same as when it is done explicitly. This...
> By the way you don't need to add @Autowired on constructors anymore. Spring handles that when you have a single constructor. I was aware of that, just wanted to...
``` $ git clone https://github.com/DOMjudge/checktestdata.git $ cd checktestdata/ $ git checkout release $ ./bootstrap ... checking for boostlib >= 1.33.1... yes configure: parser generation disabled configure: creating ./config.status config.status: creating...
> Adding to README > The new text starts with "BenchExec is more than just the tool benchexec", but at this point the reader has never heard of benchexec so...
> What do you think about the following as an extension of the current feature list? That sounds good! > I meant to say that in this PR the system...
> Sorry for the long delay. It was a busy time. Can relate, no problem :) > Would you like to be accredited as a co-author of the commit? No...