5 Commits

Author	SHA1	Message	Date
Wilson Snyder	042d3eed23	C++11: Use override where possible. No functional change.	2020-08-16 11:44:05 -04:00
Geza Lore	95534fa5c5	Remove unused headers (#2389)	2020-05-31 20:21:07 +01:00
Wilson Snyder	17e7da77f0	Misc internal coverage improvements.	2020-05-16 18:02:54 -04:00
Wilson Snyder	df52e481fb	Collected minor output code cleanups.	2020-04-23 21:22:47 -04:00
Wilson Snyder	77915f78db	Add experimental-only option.	2020-04-21 20:45:23 -04:00