Scasp: test suite

@jan, you mentioned testing in the other thread. I think, at least for starters, it would be good to add this slide to the basic test suite:

I found it by searching around on the website you mentioned before. The presentation is which includes this slide is here: Gopal Gupta’s ASP Intro.

And the index of resources where I found the presentation is here:
https://personal.utdallas.edu/~gupta/courses/lp/

2 Likes