History log of /seL4-camkes-master/tools/cogent/.regression-noclean
Revision Date Author Comments
# 7efe4ddc 20-Mar-2019 Zilin Chen <Zilin.Chen@data61.csiro.au>

regression: add autocorres to noclean

[skip ci]
# bdb16c31 05-May-2016 Zilin Chen <Zilin.Chen@nicta.com.au>

add missing config file