Closed dcerys closed 7 years ago
First pass at HTN reference files are already in the repo, covering the 4 root-task invocation options:
pamela -v -v -l trace -i test/pamela/biased-coin.pamela -t "(main.flip-3)" -o biased-coin htn
pamela -v -v -l trace -i test/pamela/regression/simple-plant.pamela -t "(simple-plant-demo.run.main)" -o simple htn
pamela -v -v -l trace -i test/pamela/regression/isr-htn.pamela -t "(isr-htn-demo.htn.main \"A\" \"B\" \"C\" \"D\")" -o isr htn
pamela -v -v -l trace -i test/pamela/quadcopter.pamela -t "(qc-waypoints.waypoints qc-demo.qc1 qc-demo.qc2 qc-demo.qc3)" -o qc htn
planviz -v -i biased-coin.htn.edn=biased-coin.tpn.edn \
-i simple.htn.edn=simple.tpn.edn \
-i isr.htn.edn=isr.tpn.edn \
-i qc.htn.edn=qc.tpn.edn
NOTE: to complete this issue we should any necessary pamela source files along with TPN and/or HTN output files.
In addition to the above we now have an additional HTN example:
pamela -v -v -l trace -i test/simple-choice-parallel/choice.feasible.pamela -t "(choice-feasible.main)" -o choice.feasible htn
For TPN's we have
test/pamela/parallel-choice.tpn.pamela
test/pamela/{qc,qc-waypoints,qc-demo}.pamela
This is not complete yet. We need a list of all pamela files for which we could generate HTN and TPN files by applying htn task.
We also need to do the same for IR format and for all pamela files.
Based on the work documented in the PR #79 ... We now generate and test IR for all pamela files, and Generate and test HTN generation for one (or more) root-tasks per (HTN compatible) pamela file. And the test framework will test against "gold standards".
@pmdoll please explain what else is necessary to close this issue.
Unit tests should pass
prakash@pablo ~/p/g/d/pamela> git branch
master
* name-harmonization
prakash@pablo ~/p/g/d/pamela> ./bin/jenkins.sh
HTN sequence-bounds.example.root-task TAG example regression? true
HTN simple-plant.main.root-task TAG main regression? true
Testing testing.pamela.parser
FAIL in (testing-pamela-parser) (parser.clj:73)
testing-pamela-parser
expected: {coverage-demo
{:type :pclass,
:args [],
:fields
{:sp1
{:access :private,
Fixed in 88a8c55
We now have a flexible framework, populated with a good range of tests
This will allow us to do regression testing of the HTN/TPN generation process