Ensure creation of cache directory before running GNATprove and refactor make targets

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Apache License 2.0

104 stars 6 forks source link

Closed treiher closed 1 year ago

treiher commented 1 year ago

Fix missing creation of cache directory before running GNATprove in property tests
Remove unused make targets
Ensure all tests are executed for "test" target
Make target names more concise
Fix phony targets