2 comments

[ 0.31 ms ] story [ 13.3 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.