1 2 3 4 5 6 7 8 9 10 11 12
// RUN: %dafny /compile:0 /print:"%t.print" "%s" > "%t" // RUN: %diff "%s.expect" "%t" method test() { assume false; assert true; }