a test suite can pass forever without being able to catch a single bug.
that's why, at @GenLayer, we test the tests too.
part 2 of making GenLayer 100% secure: five interlocking layers of testing, from ordinary unit tests to machine-checked proofs
显示更多
