Skip to content
GitLab
Explore
Sign in
key-public
key
Repository
key
..
runallproofs
GenerateUnitTests.java
Find file
Blame
History
Permalink
replace GenRAP
· b200f82a
Alexander Weigl
authored
Mar 07, 2021
Extension for generating run all proves unit tests. Helps to (re-)run a specific proof.
b200f82a