2 comments

[ 2.8 ms ] story [ 16.2 ms ] thread
This is a huge improvement. Supports unittest, pytest and nose.
Amped for a second that they had hooked in Z3 for "Intelitest" automatic test case generation.