diff options
| author | Jack Lloyd <[email protected]> | 2018-03-31 10:10:38 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-03-31 10:10:38 -0400 |
| commit | 07f70fafc38ef0956d4cd9176d6f8c578aedd07e (patch) | |
| tree | 342b35c5392ceecb6f2d765958b32e2b1a63543d /src/tests/test_runner.h | |
| parent | bdf71b1f83e227f104f39fcf472ebaa155d98cf1 (diff) | |
Add --avoid-undefined option
GH #1518
Diffstat (limited to 'src/tests/test_runner.h')
| -rw-r--r-- | src/tests/test_runner.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tests/test_runner.h b/src/tests/test_runner.h index 5ae986bc9..76d669fc5 100644 --- a/src/tests/test_runner.h +++ b/src/tests/test_runner.h @@ -26,6 +26,7 @@ class Test_Runner final bool run_online_tests, bool run_long_tests, bool abort_on_first_fail, + bool avoid_undefined, const std::string& drbg_seed, size_t runs); |