SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Create output directories that don't exist #88

Closed kjcjohnson closed 1 year ago

kjcjohnson commented 2 years ago

Currently, the parser throws an error if the output file is in a directory that doesn't exist. We should create these directories.