kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

2.5.2 How would you test the fixing of the bug? I'm guessing you would use the reduce command, I don't think it was delineated in the actual class notes though. #22

Open nehakrishnakumar opened 1 year ago