Hi,
Where do you want bug reports?
I guess it's easiest to use the bugtracker of the starexec-master repository: https://github.com/TermCOMP/starexec-master/issues
I was uploading a solver, tried starting a job, (in my "space") but got
"It seems an error has occurred... (http 400 - bad request) You must specify which benchmarking framework you want to use."
This is to be set by the organizer ("community leader")?
I can set a "default" benchmarking framework, which is set to benchexec. However, it seems like benchexec does not work / is not available at the moment. I notified Aaron.
Or can I do it? Where?
When you start a job, click "advanced options", look for the field "benchmarking framework", and choose "runsolver". If I remember correctly, the measurement of the runtime does not work reliably with runsolver in some cases, but it should be okay for a first round of testing. Best Florian