
Dafny program verifier finished with 0 verified, 0 errors
Compiled assembly into CompileAndThenRun.dll
hello, Dafny

Dafny program verifier finished with 0 verified, 0 errors
Wrote textual form of target program to CompileAndThenRun.js
Additional output written to CompileAndThenRun-js.dtr
hello, Dafny

Dafny program verifier finished with 0 verified, 0 errors
Wrote textual form of target program to CompileAndThenRun-go/src/CompileAndThenRun.go
Additional output written to CompileAndThenRun-go/src/CompileAndThenRun-go.dtr
Additional output written to CompileAndThenRun-go/src/dafny/dafny.go
Additional output written to CompileAndThenRun-go/src/dafny/dafnyFromDafny.go
Additional output written to CompileAndThenRun-go/src/System_/System_.go
hello, Dafny

Dafny program verifier finished with 0 verified, 0 errors
Wrote textual form of target program to CompileAndThenRun-java/CompileAndThenRun.java
Additional output written to CompileAndThenRun-java/CompileAndThenRun-java.dtr
Additional output written to CompileAndThenRun-java/dafny/Array.java
Additional output written to CompileAndThenRun-java/dafny/BigOrdinal.java
Additional output written to CompileAndThenRun-java/dafny/BigRational.java
Additional output written to CompileAndThenRun-java/dafny/CodePoint.java
Additional output written to CompileAndThenRun-java/dafny/DafnyEuclidean.java
Additional output written to CompileAndThenRun-java/dafny/DafnyHaltException.java
Additional output written to CompileAndThenRun-java/dafny/DafnyMap.java
Additional output written to CompileAndThenRun-java/dafny/DafnyMultiset.java
Additional output written to CompileAndThenRun-java/dafny/DafnySequence.java
Additional output written to CompileAndThenRun-java/dafny/DafnySet.java
Additional output written to CompileAndThenRun-java/dafny/Helpers.java
Additional output written to CompileAndThenRun-java/dafny/TypeDescriptor.java
Additional output written to CompileAndThenRun-java/dafny/Array1.java
Additional output written to CompileAndThenRun-java/dafny/Array10.java
Additional output written to CompileAndThenRun-java/dafny/Array11.java
Additional output written to CompileAndThenRun-java/dafny/Array12.java
Additional output written to CompileAndThenRun-java/dafny/Array13.java
Additional output written to CompileAndThenRun-java/dafny/Array14.java
Additional output written to CompileAndThenRun-java/dafny/Array15.java
Additional output written to CompileAndThenRun-java/dafny/Array16.java
Additional output written to CompileAndThenRun-java/dafny/Array2.java
Additional output written to CompileAndThenRun-java/dafny/Array3.java
Additional output written to CompileAndThenRun-java/dafny/Array4.java
Additional output written to CompileAndThenRun-java/dafny/Array5.java
Additional output written to CompileAndThenRun-java/dafny/Array6.java
Additional output written to CompileAndThenRun-java/dafny/Array7.java
Additional output written to CompileAndThenRun-java/dafny/Array8.java
Additional output written to CompileAndThenRun-java/dafny/Array9.java
Additional output written to CompileAndThenRun-java/dafny/Function0.java
Additional output written to CompileAndThenRun-java/dafny/Function1.java
Additional output written to CompileAndThenRun-java/dafny/Function10.java
Additional output written to CompileAndThenRun-java/dafny/Function11.java
Additional output written to CompileAndThenRun-java/dafny/Function12.java
Additional output written to CompileAndThenRun-java/dafny/Function13.java
Additional output written to CompileAndThenRun-java/dafny/Function14.java
Additional output written to CompileAndThenRun-java/dafny/Function15.java
Additional output written to CompileAndThenRun-java/dafny/Function16.java
Additional output written to CompileAndThenRun-java/dafny/Function2.java
Additional output written to CompileAndThenRun-java/dafny/Function3.java
Additional output written to CompileAndThenRun-java/dafny/Function4.java
Additional output written to CompileAndThenRun-java/dafny/Function5.java
Additional output written to CompileAndThenRun-java/dafny/Function6.java
Additional output written to CompileAndThenRun-java/dafny/Function7.java
Additional output written to CompileAndThenRun-java/dafny/Function8.java
Additional output written to CompileAndThenRun-java/dafny/Function9.java
Additional output written to CompileAndThenRun-java/dafny/Tuple0.java
Additional output written to CompileAndThenRun-java/dafny/Tuple1.java
Additional output written to CompileAndThenRun-java/dafny/Tuple10.java
Additional output written to CompileAndThenRun-java/dafny/Tuple11.java
Additional output written to CompileAndThenRun-java/dafny/Tuple12.java
Additional output written to CompileAndThenRun-java/dafny/Tuple13.java
Additional output written to CompileAndThenRun-java/dafny/Tuple14.java
Additional output written to CompileAndThenRun-java/dafny/Tuple15.java
Additional output written to CompileAndThenRun-java/dafny/Tuple16.java
Additional output written to CompileAndThenRun-java/dafny/Tuple17.java
Additional output written to CompileAndThenRun-java/dafny/Tuple18.java
Additional output written to CompileAndThenRun-java/dafny/Tuple19.java
Additional output written to CompileAndThenRun-java/dafny/Tuple2.java
Additional output written to CompileAndThenRun-java/dafny/Tuple20.java
Additional output written to CompileAndThenRun-java/dafny/Tuple3.java
Additional output written to CompileAndThenRun-java/dafny/Tuple4.java
Additional output written to CompileAndThenRun-java/dafny/Tuple5.java
Additional output written to CompileAndThenRun-java/dafny/Tuple6.java
Additional output written to CompileAndThenRun-java/dafny/Tuple7.java
Additional output written to CompileAndThenRun-java/dafny/Tuple8.java
Additional output written to CompileAndThenRun-java/dafny/Tuple9.java
Additional output written to CompileAndThenRun-java/_System/nat.java
Additional output written to CompileAndThenRun-java/_System/__default.java
Wrote executable jar CompileAndThenRun.jar
hello, Dafny

Dafny program verifier finished with 0 verified, 0 errors
Wrote textual form of target program to CompileAndThenRun.cpp
Additional output written to CompileAndThenRun-cpp.dtr
Additional output written to CompileAndThenRun.h
Additional output written to DafnyRuntime.h
hello, Dafny

Dafny program verifier finished with 0 verified, 0 errors
Wrote textual form of target program to CompileAndThenRun-py/__main__.py
Additional output written to CompileAndThenRun-py/CompileAndThenRun-py.dtr
Additional output written to CompileAndThenRun-py/System_/__init__.py
Additional output written to CompileAndThenRun-py/_dafny/__init__.py
Additional output written to CompileAndThenRun-py/module_.py
hello, Dafny
