Fix run_tests.py to detect doctest failures and tear itself down more
authorScott Gasch <[email protected]>
Mon, 17 Oct 2022 18:56:22 +0000 (11:56 -0700)
committerScott Gasch <[email protected]>
Mon, 17 Oct 2022 18:56:22 +0000 (11:56 -0700)
quickly when a test has failed.


No differences found