StarExecCommand get name and description
2 posters
Page 1 of 1
StarExecCommand get name and description
Yet another low priority feature request.
There is currently no way to get the names or descriptions of solvers, configurations, jobs, or spaces directly through the StarExecCommand tool. (Some of this is accessible if you know the parent subspace and do the right ls* and then crawl the list, but ) Other metadata like descriptions or maximum memory are also inaccessible. Commands that print information for a given id which be quite helpful. For example, here is roughly what I am looking for to get the metadata of a space:
There is currently no way to get the names or descriptions of solvers, configurations, jobs, or spaces directly through the StarExecCommand tool. (Some of this is accessible if you know the parent subspace and do the right ls* and then crawl the list, but ) Other metadata like descriptions or maximum memory are also inaccessible. Commands that print information for a given id which be quite helpful. For example, here is roughly what I am looking for to get the metadata of a space:
- Code:
StarCom> getinfospace id=1715
id=1715 : name=March 7 2013 : description='This is the SMT-LIB benchmark library, pulled from SMT-EXEC in early 2013. It does not incorporate some new benchmarks that were used for SMT-COMP 2012, but which were not added to the benchmark library yet.'
timking- Posts : 23
Join date : 2014-04-23
Re: StarExecCommand get name and description
This is exactly what I'm searching for, too. Currently, I'm working on a web-app, that communicates with the starexec-server to get information about Jobs and their results. I know, that I can get the job-results by a given job-id. But with that job-id, I don't know, what's its name and additional meta-data. So my current workaround is to traverse the space-tree from the root-space (id: 1) to search the space, which contains the mentioned job (or benchmark, solver, subspace, etc.). Or I have the id of the space, which contains the job. However, this approach is very costly and time consuming, so I hope there is a better way.
I would like to have a similar method as mentioned above.
If you're interested in the project I'm working on:
https://github.com/stefanvonderkrone/star-exec-presenter
I would like to have a similar method as mentioned above.
If you're interested in the project I'm working on:
https://github.com/stefanvonderkrone/star-exec-presenter
stefanvonderkrone- Posts : 5
Join date : 2014-05-05
Similar topics
» StarExecCommand lsconfigs
» Invalid characters in description
» Deployed: some additions to StarExecCommand, bug fixes, stats page
» Allow Arbitrary ASCII Characters in Description Fields
» Invalid characters in description
» Deployed: some additions to StarExecCommand, bug fixes, stats page
» Allow Arbitrary ASCII Characters in Description Fields
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|