Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
480 commits behind the upstream repository.
Björn Brandenburg
authored
For debugging purposes, slow down the interaction with coqtop to maybe trigger some potential races more reliably.