Using QuickTek to Generate Not Example, but Actual Traces of Execution, and Then Checking Properties Overdose

I was talking about examples, I mean I'm curious what are the kind of properties that you were testing for the screen cost editor. Oh yeah, I don't recall all of them, so see we had the Vim like editor things, they were pretty simple to understand properties. It's nice because I've also read it sometimes, you know, that this idea of using QuickTek to generate not example, but actual traces of execution, and then checking stuff is such a great technique.