search

jwaldmann / star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod
2 stars 7 forks source link

switch from runsolver to benchexec #128

Closed jwaldmann closed 7 years ago

jwaldmann commented 7 years ago

see http://starexec.lefora.com/topic/117/New-Benchmarking-Framework-BenchExec

jwaldmann commented 7 years ago

In "Community settings" for Termination on starexec, I changed "Benchmark processor" to "BenchExec".

jwaldmann commented 7 years ago

(of course) Bench-Exec destroys my tooling:

see http://starexec.lefora.com/reply/219/New-Benchmarking-Framework-BenchExec#reply-219

this needs to be dealt with in plain-postproc and ceta-postproc.

jwaldmann commented 7 years ago

seems all good now.