3 ms·Amped for a second that they had hooked in Z3 for "Intelitest" automatic test case generation.by crb002 8y agoAmped for a second that they had hooked in Z3 for "Intelitest" automatic test case generation.