HomeIsabelle/Phabricator

reactivate veriT after changing options in 11f645d25498