OK! Today I rewrote a few unit tests in b0rk, removing duplicate code and merging them (yet seperated them too). Everything's a lot cleaner, and should generalise well. The tests were all around the idea of co-verification - you run b0rk and simulate code while running it natively, and verify they get the same answers - so there's going to be a lot
(
Read more... )