4 ms·100% code coverage for symbolic execution of the kernel seems a bit optimistic, no?by rootw0rm 10y ago100% code coverage for symbolic execution of the kernel seems a bit optimistic, no?