path: root/Test/dafnyRuntimeChecking/AssumeStmt1.dfy

method Main()
{
  assume 10 < 2;
}