Command Line Parsing Improvements

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Command Line Parsing Improvements #39

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

Fixes #38.

We now use the System.CommandLine library to parse command line arguments instead of our quick'n'dirty implementation. We also now get --help and --version options for free.

kjcjohnson commented 2 years ago

I also added some super basic integration tests to make sure nothing gets broken here.