2 ms·There are tests of tests, why wouldn't there exist techniques for the verification of logging?by the_af 5y agoThere are tests of tests, why wouldn't there exist techniques for the verification of logging?