Matt Barnett
Results
5
issues of
Matt Barnett
Useful for debugging in a load balanced environment.
The following input to `synthesize.sh` import edu.rice.cs.caper.bayou.annotations.Evidence; public class TestIO1 { void read(String file) { Evidence.apicalls("readLine"); } void foo(String file) { Evidence.apicalls("readLine"); } } Produces the following output: $ ./synthesize.sh...
bug
1_0_X branch
enhancement
performance