StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.
StarExec

This is a forum for discussing the StarExec solver execution service, at starexec.org.


restore file extension for renamed benchmarks

2 posters

StarExec :: Feature Requests

Go down

restore file extension for renamed benchmarks Empty restore file extension for renamed benchmarks

Post by j.waldmann Tue Jun 03, 2014 1:34 pm

I notice that the "benchmark" argument to the solver is now a filename "theBenchmark". This breaks some termination solvers because they expect a certain file extension (their behaviour (their input parser) depends on the extension). Could you restore the extension after renaming the file?

j.waldmann

Posts : 84
Join date : 2014-04-26

Back to top Go down

restore file extension for renamed benchmarks Empty Re: restore file extension for renamed benchmarks

Post by Admin Thu Jun 05, 2014 3:21 pm

Hi, Johannes. Yes, I think we can restore the file extension. Sorry about that.
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

http://www.cs.uiowa.edu/~astump/

Back to top Go down

restore file extension for renamed benchmarks Empty Re: restore file extension for renamed benchmarks

Post by j.waldmann Thu Jun 12, 2014 12:21 pm


j.waldmann

Posts : 84
Join date : 2014-04-26

Back to top Go down

restore file extension for renamed benchmarks Empty Re: restore file extension for renamed benchmarks

Post by Sponsored content


Sponsored content


Back to top Go down

Back to top

- Similar topics

StarExec :: Feature Requests

 
Permissions in this forum:
You cannot reply to topics in this forum