akc2

3 ms·

1. 1.▲
   by akc2 9y ago

   fair enough. I was thinking more on the side of "this rewrite should be correct and indeed it is" by asking the tool to come up with a proof rather than doing extensive testing.
2. 2.▲
   by akc2 9y ago

   also, no need to write test cases again if they can prove or disprove two queries.
3. 3.▲
   Is blue light keeping you up at night? We ask the experts(digitaltrends.com)

   1 points by akc2 10y ago|0 comments