Test/irondafny0/optimize0.dfy


1
2
3
4
5
6

// RUN: %dafny /compile:3 /optimize /print:"%t.print" /dprint:"%t.dprint" "%s" > "%t"
// RUN: %diff "%s.expect" "%t"

method Main() {
    print "o hai!";
}