-
Manuel Günther authored
Implemented experiments in a more clean fashion, so that bob.db.atnt can be replaced by any other verification database.
Manuel Günther authoredImplemented experiments in a more clean fashion, so that bob.db.atnt can be replaced by any other verification database.