Generate pddl test suite package

jan-dolejsi / vscode-pddl

Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio Code.

MIT License

84 stars 22 forks source link

Generate pddl test suite package #21

Open gbesancon opened 5 years ago

gbesancon commented 5 years ago

When using the jinja template feature, it can cumbersome not to have an easy access to the pddl file generated as a file of it's own to be able to share with someone else.

I'm thinking of 2 flavours of the feature:

Generate a zip file from the test battery
Save the pddl file generated (only way found so far is copy paste of the PDDL file generated into another new file)
Button generate problem to a file.

jan-dolejsi commented 5 years ago

I think the most usable way to implement this is by adding a button to the new PDDL Test Report page to export all files to a zip file.

jan-dolejsi commented 5 years ago

Btw, the generated problem file may be saved to a physical writable file by right-clicking on it. But you would have to do that one by one.