Merge branch 'master' of https://github.com/QRAAT/QRAAT into cont_cov
Merge branch 'cont_cov' of https://github.com/QRAAT/QRAAT into cont_cov
debug