This repository contains the testing suite / toolchain for pdr. This software is at functional alpha status and in active use for both development and regression testing. You may do almost anything you want with it, subject to the extremely permissive terms of the BSD 3-Clause License. However, no documentation is presently available, so we do not particularly recommend its use to external parties: caveat emptor.
This work is supported by NASA grant No. 80NSSC21K0885.