tree d98725d7319237e2d8b868f4df68bc2f6cdb617b
parent 726c97a825bc5c48db92650901f85bdec33ca88b
author Hanno Becker <hanno.becker@arm.com> 1554292370 +0100
committer Hanno Becker <hanno.becker@arm.com> 1554292408 +0100

Implement context-specific verification callbacks