cafe-latte
cafe-latte copied to clipboard
Test entering each control flow structure multiple times
Currently each test makes a new set of instances at each execution; this kills efficiency because ideally you would only instantiate e.g. a Tagbody or a HandlerCase once and then call out to it.
We need tests that verify that each control flow structure can be entered multiple times by the same thread. In the future, also check its reentrancy.