FStar icon indicating copy to clipboard operation
FStar copied to clipboard

A first performance problem: sequencing some tests

Open briangmilnes opened this issue 1 year ago • 0 comments

I was writing some test code. Yes, I know you all probably think its a bit passe, but it helps while learning to see that my specifications are what I think they are.

I wrote a test function that sequenced 7 calls (to a printing function) and it was slow enough to cause condition splitting.

Is there a way to avoid this?

briangmilnes avatar Apr 06 '23 17:04 briangmilnes