diff options
| author | gzhao408 <gzhao408@berkeley.edu> | 2021-01-26 14:10:18 -0800 |
|---|---|---|
| committer | gzhao408 <gzhao408@berkeley.edu> | 2021-02-02 09:17:58 -0800 |
| commit | b10ce9aa48c8937cb91fca05e29c68098a364d93 (patch) | |
| tree | 9b17a91f273ecdec5531a04258a160d980938975 /src/test/Makefile | |
| parent | a260c22cad0672dda11f42f649ebdc7cfa53b16a (diff) | |
[test] check verification flags are minimal/maximal
Co-authored-by: Johnson Lau <jl2012@xbt.hk>
Diffstat (limited to 'src/test/Makefile')
0 files changed, 0 insertions, 0 deletions