write output directory for formal test failures
authorJacob Lifshay <programmerjake@gmail.com>
Thu, 4 Aug 2022 07:04:03 +0000 (00:04 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Thu, 4 Aug 2022 07:04:03 +0000 (00:04 -0700)
commit99316e7807648a9a6c9293cc6a5cdfc7740e3e18
tree882201b0be6fdaba9cd46c60a2c7af08bb57c7c2
parente375a4fa59d1e38ecedde4c9fe6155d6023e6742
write output directory for formal test failures
src/nmutil/formaltest.py