feat: Support directory paths as well

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

feat: Support directory paths as well #5

Closed robin-aws closed 2 years ago

robin-aws commented 2 years ago

Resolves #4

The updated help text says it all:

file_paths                 CSV files produced from Dafny's /verificationLogger:csv feature.
                           Directory paths are also accepted, in which case all CSV files under all
                           "TestResults" descendant directories are included.

Also adds missing project file properties for publishing to nuget.