Unit Testing Interleaved with Development

Posted on June 19, 2016 by Marko Dimjašević

Unit testing is so nice to have as you develop your implementation. If you get puzzled by a simple test not passing, you can spot it easily in the implementation of the unit. I’m happy to be writing unit tests for Firehose support in KLEE.