diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-12-08 23:42:13 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2021-01-17 20:13:22 +0100 |
| commit | b6cfa3cfa660622997a52f00a9f0376339c0f743 (patch) | |
| tree | d66fbd43befb663b8db5a9f36b764716885dcb9c /src | |
| parent | c3c20c0603c82151684d2fa9d6dd872fb25fe20d (diff) | |
Add VERIFY_BV21_ERROR.
Diffstat (limited to 'src')
| -rw-r--r-- | src/verify.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/verify.h b/src/verify.h index 87d52d44..4b4442e4 100644 --- a/src/verify.h +++ b/src/verify.h @@ -51,6 +51,7 @@ public: */ enum Type { VERIFY_ERROR, + VERIFY_BV21_ERROR, ///< may not always be considered an error, but violates a "shall" requirement of Bv2.1 VERIFY_WARNING }; |