commit | a8286610fb5e829c716b84f1652eaf1f41cac586 | [log] [tgz] |
---|---|---|
author | Luca Cristoforetti <cristofo@fbk.eu> | Fri Mar 20 17:19:58 2020 +0100 |
committer | Luca Cristoforetti <cristofo@fbk.eu> | Fri Mar 20 17:19:58 2020 +0100 |
tree | 36bf54e9060ea8096d9f48400d1ca90c45010ed1 | |
parent | 4a8888334859db936053399b568953d71c80bb8b [diff] |
Refactor checkers