You've already forked RecordFlux
mirror of
https://github.com/AdaCore/RecordFlux.git
synced 2026-02-12 13:01:56 -08:00
* Add support for multiple paths in validate -v and -i arguments * Add support for specifying files in validate -v and -i arguments * Add error message for directories with no .raw files * Update user guide and tests Ref. eng/recordflux/RecordFlux#1393 Ref. eng/recordflux/RecordFlux#1418