How can I remove a postprocessor?
2 posters
Page 1 of 1
How can I remove a postprocessor?
I don't see how to remove a post-processor (there is no "recycling bin" icon on the page where I add it).
j.waldmann- Posts : 84
Join date : 2014-04-26
Re: How can I remove a postprocessor?
Press on the post-processor. Then you'll get an "actions" option, under which you'll find "delete".
df- Posts : 17
Join date : 2014-04-30
Re: How can I remove a postprocessor?
Thanks. But does it work? I open a bug report because I get strange behaviour.
j.waldmann- Posts : 84
Join date : 2014-04-26
Re: How can I remove a postprocessor?
Works perfectly for me. I do experience some delays from time to time, in seeing the uploaded/added post-processors. Same is true for jobs. It takes some time for StarExec to stable and show me a correct list.
df- Posts : 17
Join date : 2014-04-30
Similar topics
» SMT postprocessor documentation
» What postprocessor will be used for SMTCOMP
» delete/remove/recycle
» remove solver/benchmark/job
» how do I delete/remove a pre-processor
» What postprocessor will be used for SMTCOMP
» delete/remove/recycle
» remove solver/benchmark/job
» how do I delete/remove a pre-processor
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|