search

jmeintrup / arboretum

A Rust library and CLI for computing optimal and heuristic tree decompositions
11 stars 0 forks source link

Add automated tests to the toolchain #1

Open holgerdell opened 3 years ago

holgerdell commented 3 years ago

Amazing project, I'm looking forward to the results!

First of all, I strongly recommend to add my automated tests from PACE-2017 to your toolchain. One way of doing this would be to add https://github.com/holgerdell/td-validate as a submodule, perhaps under tests/td-validate, and add a cargo test command (or whatever is considered to be good form in rust). This command should then probably compile td-validate, and run autotest-tw-solver.py on your program.

jmeintrup commented 3 years ago

Thank you for your kind feedback, i will definitely integrate your td-valide into a CI/CD pipeline once i have set one up.