scripts/check-validation-output.sh · e858b39c7025ed8ef8178dd3184232e5dfd14ca5 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

425 commits behind the upstream repository.

3 years ago
e858b39c
CI: automatically check validation output for unexpected axioms · e858b39c
Björn Brandenburg authored 3 years ago
```
Closes #79
```
e858b39c

History
CI: automatically check validation output for unexpected axioms
Björn Brandenburg authored 3 years ago
```
Closes #79
```

check-validation-output.sh 1.58 KiB