Spec# on RISE4fun

Oct 1, 2014 at 12:14 AM
It seems almost any example I put into http://rise4fun.com/SpecSharp results in a message
   Unhandled Exception:
       Cannot print exception string because Exception.ToString() failed.
For example the following program causes this problem
class Example {
  int x;

  int Inc()
    ensures old(x) < result;
  {
    x += 1;
    return x ;
  }
}
as does
class Example {
  
}