trunk/verifier copied to branch/aliazzz/verifier/verifier
Authored by: aliazzz 2020-04-10
Parent: [r351]
Child: [r353]