search

dafny-lang / dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification
MIT License
3 stars 4 forks source link

Generalize command line argument parsing #3

Open robin-aws opened 2 years ago

seebees commented 2 years ago

Honestly, option parsing should be its own library.