From: Stevie Strickland (sstrickl at ccs.neu.edu) Date: Wed Apr 18 15:29:15 EDT 2012 |
|
On Apr 18, 2012, at 11:00 AM, Ryan Culpepper wrote: > * Stevie Strickland <sstrickl at ccs.neu.edu> > - Unit Contract Tests > - Contract Region Tests The commit I just pushed (d76b0dac, in push #24573) should be included. It'll fix the only failing test case (and add a couple others that also pass). (Also, this should be updated to include "Class Contract Tests". I just keep forgetting to mention it.) Stevie
Posted on the dev mailing list. |
|