Auxilliary selector used to test PROOF functionality. More...
Go to the source code of this file.
Auxilliary selector used to test PROOF functionality.
Definition in file ProofTests.h.