(test
 (name test)
 (modules test)
 (libraries mte mirage-crypto-rng.unix))

(executable
 (name validate_response)
 (modules validate_response)
 (libraries mte bos cmdliner))