-
Heiko Becker authored
Make interval evaluation remove all remaining files from hol4 output directory after checking the certificate
17076ead
Make interval evaluation remove all remaining files from hol4 output directory after checking the certificate