data/dafny-2.3.0+dfsg/.gitattributes:                                                                        ASCII text
data/dafny-2.3.0+dfsg/.gitignore:                                                                            ASCII text
data/dafny-2.3.0+dfsg/.hgignore:                                                                             ASCII text
data/dafny-2.3.0+dfsg/Binaries/DafnyPrelude.bpl:                                                             ASCII text
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.cs:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.go:                                                              ASCII text
data/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.js:                                                              ASCII text
data/dafny-2.3.0+dfsg/Binaries/Z3-LICENSE.txt:                                                               ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Docs/Compilation/Go.md:                                                                C++ source, UTF-8 Unicode text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.bib:                                                            BibTeX text file, ASCII text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/DafnyRef.mdk:                                                            HTML document, UTF-8 Unicode text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/css.sty:                                                                 LaTeX document, ASCII text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/dafnyx.json:                                                             JSON data
data/dafny-2.3.0+dfsg/Docs/DafnyRef/ignores.dic:                                                             ASCII text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/krml250.bib:                                                             UTF-8 Unicode text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/madoko.css:                                                              ASCII text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.html:                                                       HTML document, UTF-8 Unicode text, with very long lines
data/dafny-2.3.0+dfsg/Docs/DafnyRef/out/DafnyRef.pdf:                                                        PDF document, version 1.5 (password protected)
data/dafny-2.3.0+dfsg/Docs/DafnyRef/paper-full.bib:                                                          ASCII text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/poc.bib:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Docs/DafnyRef/references.bib:                                                          CSV text
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Lemmas.md:                                                         ASCII text
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Modules.md:                                                        C++ source, ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Sequences.md:                                                      ASCII text
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Sets.md:                                                           ASCII text
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/Termination.md:                                                    ASCII text
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/ValueTypes.md:                                                     ASCII text
data/dafny-2.3.0+dfsg/Docs/OnlineTutorial/guide.md:                                                          UTF-8 Unicode text
data/dafny-2.3.0+dfsg/INSTALL.md:                                                                            ASCII text
data/dafny-2.3.0+dfsg/LICENSE.txt:                                                                           ASCII text
data/dafny-2.3.0+dfsg/NOTICES.txt:                                                                           ASCII text
data/dafny-2.3.0+dfsg/README.md:                                                                             ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Source/Dafny.sln:                                                                      UTF-8 Unicode (with BOM) text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/Dafny/.gitattributes:                                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/AllRules.ruleset:                                                         XML 1.0 document, ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/BigIntegerParser.cs:                                                      ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Cloner.cs:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-Csharp.cs:                                                       ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-go.cs:                                                           C source, ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler-js.cs:                                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Compiler.cs:                                                              ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Source/Dafny/Dafny.atg:                                                                C source, ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyAst.cs:                                                              ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyMain.cs:                                                             ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyPipeline.csproj:                                                     XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/Dafny/Makefile:                                                                 makefile script, ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Makefile.Linux:                                                           makefile script, ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Parser.cs:                                                                C source, ASCII text, with very long lines, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/Dafny/Printer.cs:                                                               ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/RefinementTransformer.cs:                                                 ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Reporting.cs:                                                             ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Resolver.cs:                                                              ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Source/Dafny/Rewriter.cs:                                                              ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Scanner.cs:                                                               Generic INItialization configuration [ContractInvariantMethod]\015
data/dafny-2.3.0+dfsg/Source/Dafny/SccGraph.cs:                                                              ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Translator.cs:                                                            UTF-8 Unicode (with BOM) text, with very long lines
data/dafny-2.3.0+dfsg/Source/Dafny/Triggers/QuantifierSplitter.cs:                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Triggers/QuantifiersCollection.cs:                                        C++ source, UTF-8 Unicode text
data/dafny-2.3.0+dfsg/Source/Dafny/Triggers/QuantifiersCollector.cs:                                         ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Triggers/TriggerExtensions.cs:                                            ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Triggers/TriggerUtils.cs:                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Triggers/TriggersCollector.cs:                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/Util.cs:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/cce.cs:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Source/Dafny/DafnyOptions.cs:                                                          ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyDriver/AllRules.ruleset:                                                   XML 1.0 document, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyDriver/DafnyDriver.cs:                                                     ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyDriver/DafnyDriver.csproj:                                                 XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyDriver/app.config:                                                         XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyExtension.sln:                                                             UTF-8 Unicode (with BOM) text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyExtension/BraceMatching.cs:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/BufferIdleEventUtil.cs:                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/ClassificationTagger.cs:                                         C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/ContentType.cs:                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/DafnyDriver.cs:                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/DafnyExtension.csproj:                                           XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyExtension/DafnyOptions.txt:                                                ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/ErrorModelTagger.cs:                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/ErrorTagger.cs:                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/GlobalSuppressions.cs:                                           ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/HoverText.cs:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/IdentifierTagger.cs:                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/KeyBindingFilter.cs:                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/MenuProxy.cs:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/OutliningTagger.cs:                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/ProgressMargin.cs:                                               C++ source, ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Source/DafnyExtension/Properties/AssemblyInfo.cs:                                      ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/ResolverTagger.cs:                                               C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/TokenTagger.cs:                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/WordHighlighter.cs:                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyExtension/packages.config:                                                 XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyExtension/source.extension.vsixmanifest:                                   XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyMenu/BvdToolWindow.cs:                                                     ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/DafnyMenu.csproj:                                                     XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyMenu/DafnyMenu.vsct:                                                       XML 1.0 document, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/DafnyMenuPackage.cs:                                                  ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/GlobalSuppressions.cs:                                                ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/Guids.cs:                                                             ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/PkgCmdID.cs:                                                          ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/Properties/AssemblyInfo.cs:                                           ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/Resources.Designer.cs:                                                UTF-8 Unicode (with BOM) text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/Resources.resx:                                                       XML 1.0 document, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/VSPackage.resx:                                                       XML 1.0 document, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyMenu/packages.config:                                                      XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyMenu/source.extension.vsixmanifest:                                        XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.cs:                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.csproj:                                               XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyServer/AllRules.ruleset:                                                   XML 1.0 document, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyServer/App.config:                                                         XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyServer/CounterExampleProvider.cs:                                          C++ source, UTF-8 Unicode (with BOM) text
data/dafny-2.3.0+dfsg/Source/DafnyServer/DafnyHelper.cs:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyServer/DafnyServer.csproj:                                                 XML 1.0 document, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/DafnyServer/Properties/AssemblyInfo.cs:                                         UTF-8 Unicode text
data/dafny-2.3.0+dfsg/Source/DafnyServer/Server.cs:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyServer/SymbolTable.cs:                                                     C++ source, UTF-8 Unicode (with BOM) text
data/dafny-2.3.0+dfsg/Source/DafnyServer/Utilities.cs:                                                       C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyServer/VerificationTask.cs:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/DafnyServer/VersionCheck.cs:                                                    C++ source, UTF-8 Unicode (with BOM) text
data/dafny-2.3.0+dfsg/Source/InterimKey.snk:                                                                 data
data/dafny-2.3.0+dfsg/Source/Jennisys.sln:                                                                   UTF-8 Unicode (with BOM) text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/Jennisys/Analyzer.fs:                                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Ast.fs:                                                                ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/AstUtils.fs:                                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/CodeGen.fs:                                                            ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/DafnyModelUtils.fs:                                                    ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/DafnyPrinter.fs:                                                       ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/EnvUtils.fs:                                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/FixpointSolver.fs:                                                     ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Getters.fs:                                                            ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Jennisys.fs:                                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Jennisys.fsproj:                                                       XML 1.0 document, ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Source/Jennisys/Lexer.fsl:                                                             ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Logger.fs:                                                             ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/MethodUnifier.fs:                                                      ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Modularizer.fs:                                                        ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Options.fs:                                                            ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Source/Jennisys/Parser.fsy:                                                            lex description, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/PipelineUtils.fs:                                                      ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/PrintUtils.fs:                                                         ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Printer.fs:                                                            ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/README.txt:                                                            ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Resolver.fs:                                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/SymGen.fs:                                                             ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/TypeChecker.fs:                                                        ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/Utils.fs:                                                              ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/BHeap.jen:                                                    ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/DList.jen:                                                    ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/List.jen:                                                     ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/List2.jen:                                                    ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/List3.jen:                                                    ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/Number.jen:                                                   ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/NumberMethods.jen:                                            ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/Set.jen:                                                      ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/Set2.jen:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/Simple.jen:                                                   ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/jennisys-synth_List.dfy:                                      ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/jennisys-synth_List2.dfy:                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/jennisys-synth_List3.dfy:                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/jennisys-synth_Number.dfy:                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/jennisys-synth_Set.dfy:                                       C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod/jennisys-synth_List.dfy:                                  ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod/jennisys-synth_List2.dfy:                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod/jennisys-synth_List3.dfy:                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod/jennisys-synth_Number.dfy:                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod/jennisys-synth_Set.dfy:                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod2/jennisys-synth_DList.dfy:                                ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod2/jennisys-synth_List.dfy:                                 ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod2/jennisys-synth_List2.dfy:                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod2/jennisys-synth_List3.dfy:                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod2/jennisys-synth_Number.dfy:                               C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod2/jennisys-synth_NumberMethods.dfy:                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/mod2/jennisys-synth_Set.dfy:                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/BHeap.jen:                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/BHeap_synth.dfy:                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/DList.jen:                                           ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/DList_synth.dfy:                                     ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/IntSet.jen:                                          ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/IntSet_synth.dfy:                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/List.jen:                                            ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/List_synth.dfy:                                      ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/Math.jen:                                            ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/oopsla12/Math_synth.dfy:                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/examples/set.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Source/Jennisys/scripts/StartDafny-jen.bat:                                            DOS batch file, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Source/version.cs:                                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem1-SumMax.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem1-SumMax.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem2-Invert.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem2-Invert.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem3-FindZero.dfy:                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem3-FindZero.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem4-Queens.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem4-Queens.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/VSComp2010/Problem5-DoubleEndedQueue.dfy.expect:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b1.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b1.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b2.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b2.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b3.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b3.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b4.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b4.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b5.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b5.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b6.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b6.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b7.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b7.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b8.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/VSI-Benchmarks/b8.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/VerifyThis2015/Problem1.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/VerifyThis2015/Problem1.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/VerifyThis2015/Problem2.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/VerifyThis2015/Problem2.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/VerifyThis2015/Problem3.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/VerifyThis2015/Problem3.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/Allocated1.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/Allocated1.dfy.expect:                                                 CSV text
data/dafny-2.3.0+dfsg/Test/allocated1/Allocated2.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/Allocated2.dfy.expect:                                                 CSV text
data/dafny-2.3.0+dfsg/Test/allocated1/AllocatedCommon.dfyi:                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AdvancedLHS.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AdvancedLHS.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Array.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Array.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AssertBy.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AssertBy.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AssumptionVariables1.dfy:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AssumptionVariables1.dfy.expect:                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AutoContracts.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AutoContracts.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AutoReq.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/AutoReq.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Backticks.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Backticks.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/BadFunction.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/BadFunction.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Basics.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Basics.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/BindingGuards.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/BindingGuards.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Bitvectors.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Bitvectors.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/BitvectorsMore.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/BitvectorsMore.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Calculations.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Calculations.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ChainingDisjointTests.dfy:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ChainingDisjointTests.dfy.expect:                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Char.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Char.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/CoPrefix.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/CoPrefix.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/CoinductiveProofs.dfy:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/CoinductiveProofs.dfy.expect:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Compilation.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Compilation.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/CompilationErrors.dfy:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/CompilationErrors.dfy.expect:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Comprehensions.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Comprehensions.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Computations.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Computations.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ComputationsLoop.dfy:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ComputationsLoop.dfy.expect:                                    ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ComputationsLoop2.dfy:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ComputationsLoop2.dfy.expect:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ComputationsNeg.dfy:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ComputationsNeg.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ContainerRanks.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ContainerRanks.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ControlStructures.dfy:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ControlStructures.dfy.expect:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Corecursion.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Corecursion.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DTypes.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DTypes.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DatatypeUpdate.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DatatypeUpdate.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Datatypes.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Datatypes.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Definedness.dfy:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Definedness.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DeterministicPick.dfy:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DeterministicPick.dfy.expect:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DiamondImports.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DiamondImports.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DirtyLoops.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DirtyLoops.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DiscoverBounds.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/DiscoverBounds.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ForallCompilation.dfy:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ForallCompilation.dfy.expect:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Fuel.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Fuel.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/FuelTriggers.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/FuelTriggers.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/FunctionSpecifications.dfy:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/FunctionSpecifications.dfy.expect:                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/IMaps.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/IMaps.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ISets.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ISets.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/InSetComprehension.dfy:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/InSetComprehension.dfy.expect:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/IndexIntoUpdate.dfy:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/IndexIntoUpdate.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/InductivePredicates.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/InductivePredicates.dfy.expect:                                 ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Inverses.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Inverses.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/JustWarnings.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/JustWarnings.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/LetExpr.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/LetExpr.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/LhsDuplicates.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/LhsDuplicates.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/LitTriggers.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/LitTriggers.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/LoopModifies.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/LoopModifies.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Maps.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Maps.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/MatchBraces.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/MatchBraces.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Matrix-OOB.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Matrix-OOB.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ModifyStmt.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ModifyStmt.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Modules1.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Modules1.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/MultiDimArray.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/MultiDimArray.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/MultiSets.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/MultiSets.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/NatTypes.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/NatTypes.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/NestedMatch.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/NestedMatch.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Newtypes.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Newtypes.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/NoTypeArgs.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/NoTypeArgs.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/OpaqueFunctions.dfy:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/OpaqueFunctions.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Parallel.dfy:                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Parallel.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ParseErrors.dfy.expect:                                         CSV text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/PredExpr.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/PredExpr.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Predicates.dfy:                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Predicates.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Protected.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Protected.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RangeCompilation.dfy:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RangeCompilation.dfy.expect:                                    ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RankNeg.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RankNeg.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RankPos.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RankPos.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Reads.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Reads.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RealCompare.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RealCompare.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RealTypes.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/RealTypes.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Refinement.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Refinement.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ReturnTests.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/ReturnTests.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SeqFromArray.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SeqFromArray.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SeqSlice.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SeqSlice.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Simple.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Simple.dfy.expect:                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Skeletons.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Skeletons.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SmallTests.dfy:                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SmallTests.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SplitExpr.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SplitExpr.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/StatementExpressions.dfy:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/StatementExpressions.dfy.expect:                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Strings.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Strings.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SubsetTypes.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/SubsetTypes.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Superposition.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Superposition.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Termination.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Termination.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TriggerInPredicate.dfy:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TriggerInPredicate.dfy.expect:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Tuples.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Tuples.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Twostate-Functions.dfy:                                         C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Twostate-Functions.dfy.expect:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Twostate-Verification.dfy:                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Twostate-Verification.dfy.expect:                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeAntecedents.dfy:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeAntecedents.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeConversions.dfy:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeConversions.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeConversionsCompile.dfy:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeConversionsCompile.dfy.expect:                              ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeParameters.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeParameters.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeSynonyms.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/TypeSynonyms.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Unchanged.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/Unchanged.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/UnfoldingPerformance.dfy:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/UnfoldingPerformance.dfy.expect:                                ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/columns.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/columns.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/fun-with-slices.dfy:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/fun-with-slices.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/one-message-per-failed-precondition.dfy:                        ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny0/one-message-per-failed-precondition.dfy.expect:                 ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny1/FindZero.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny1/FindZero.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny1/SchorrWaite-stages.dfy:                                         C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny1/SchorrWaite-stages.dfy.expect:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny1/SchorrWaite.dfy:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/dafny1/SchorrWaite.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/unsoundness.dfy:                                                       C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/allocated1/unsoundness.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/clean.py:                                                                         Python script, ASCII text executable
data/dafny-2.3.0+dfsg/Test/cloudmake/CloudMake-CachedBuilds.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/cloudmake/CloudMake-CachedBuilds.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/cloudmake/CloudMake-ConsistentBuilds.dfy:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/cloudmake/CloudMake-ConsistentBuilds.dfy.expect:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/cloudmake/CloudMake-ParallelBuilds.dfy:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/cloudmake/CloudMake-ParallelBuilds.dfy.expect:                                    ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Arrays.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Arrays.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Calls.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Calls.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Class.dfy:                                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Class.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Collections.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Collections.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Comprehensions.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Comprehensions.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Dt.dfy:                                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Dt.dfy.expect:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Extern.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Extern.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Extern2.cs:                                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Extern3.js:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Extern4.go:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Ghosts.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Ghosts.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/comp/GoModule.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/comp/GoModule.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Hello.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Hello.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Iterators.dfy:                                                               C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Iterators.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/comp/JsModule.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/comp/JsModule.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Let.dfy:                                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Let.dfy.expect:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Numbers.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Numbers.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Poly.dfy:                                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/comp/Poly.dfy.expect:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/comp/TypeParams.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/comp/TypeParams.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/comp/lit.local.cfg:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AdvancedLHS.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AdvancedLHS.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Array.dfy:                                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Array.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ArrayElementInit.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ArrayElementInit.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ArrayElementInitCompile.dfy:                                               C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ArrayElementInitCompile.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ArrayElementInitResolution.dfy:                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ArrayElementInitResolution.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AssertBy.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AssertBy.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AssumptionVariables0.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AssumptionVariables0.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AssumptionVariables1.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AssumptionVariables1.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AutoContracts.dfy:                                                         C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AutoContracts.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AutoReq.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/AutoReq.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Backticks.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Backticks.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BadFunction.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BadFunction.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Basics.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Basics.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BigOrdinals.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BigOrdinals.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuards.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuards.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuardsResolution.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BindingGuardsResolution.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BitvectorResolution.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BitvectorResolution.dfy.expect:                                            CSV text
data/dafny-2.3.0+dfsg/Test/dafny0/Bitvectors.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Bitvectors.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BitvectorsMore.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/BitvectorsMore.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Calculations.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Calculations.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CallStmtTests.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CallStmtTests.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ChainingDisjointTests.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ChainingDisjointTests.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Char.dfy:                                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Char.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CoPrefix.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CoPrefix.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CoResolution.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CoResolution.dfy.expect:                                                   CSV text
data/dafny-2.3.0+dfsg/Test/dafny0/Coinductive.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Coinductive.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CoinductiveProofs.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CoinductiveProofs.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Compilation.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Compilation.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CompilationErrors.dfy:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CompilationErrors.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Comprehensions.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Comprehensions.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Computations.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Computations.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ComputationsLoop.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ComputationsLoop.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ComputationsLoop2.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ComputationsLoop2.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ComputationsNeg.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ComputationsNeg.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Constant.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Constant.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ConstantErrors.dfy:                                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ConstantErrors.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ContainerRanks.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ContainerRanks.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ControlStructures.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ControlStructures.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Corecursion.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Corecursion.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CustomErrorMesage.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/CustomErrorMesage.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DTypes.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DTypes.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DatatypeUpdate.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DatatypeUpdate.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DatatypeUpdateResolution.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DatatypeUpdateResolution.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Datatypes.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Datatypes.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Definedness.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Definedness.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DefiniteAssignment.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DefiniteAssignment.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DeterministicPick.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DeterministicPick.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DiamondImports.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DiamondImports.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DirtyLoops.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DirtyLoops.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DiscoverBounds.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DiscoverBounds.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DiscoverBoundsErrors.dfy:                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DiscoverBoundsErrors.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DisplayExpressions.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DisplayExpressions.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DividedConstructors.dfy:                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/DividedConstructors.dfy.expect:                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/EqualityTypes.dfy:                                                         C++ source, ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/dafny0/EqualityTypes.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/EqualityTypesCompile.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/EqualityTypesCompile.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/EqualityTypesModuleExports.dfy:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/EqualityTypesModuleExports.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ErrorsInRelatedModules.dfy:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ErrorsInRelatedModules.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Extern.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Extern.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Extern2.cs:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ExternHelloLibrary.cs:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ExternHelloLibrary.dll:                                                    PE32 executable (DLL) (console) Intel 80386 Mono/.Net assembly, for MS Windows
data/dafny-2.3.0+dfsg/Test/dafny0/ExternNegative.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ExternNegative.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ExternNegative2.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ExternNegative2.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ExtremeReads.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ExtremeReads.dfy.expect:                                                   Extreme Tracker AMS Module v1.3
data/dafny-2.3.0+dfsg/Test/dafny0/ForallCompilation.dfy:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ForallCompilation.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ForbidNondeterminism.dfy:                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ForbidNondeterminism.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ForbidNondeterminismCompile.dfy:                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ForbidNondeterminismCompile.dfy.expect:                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Fuel.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Fuel.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/FuelTriggers.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/FuelTriggers.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/FunctionSpecifications.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/FunctionSpecifications.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/GhostGuards.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/GhostGuards.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/GhostPrint.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/GhostPrint.dfy.expect:                                                     empty
data/dafny-2.3.0+dfsg/Test/dafny0/IMaps.dfy:                                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/IMaps.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/IMaps2.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/IMaps2.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ISets.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ISets.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ImplicitTypeParamPrint.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ImplicitTypeParamPrint.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/InSetComprehension.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/InSetComprehension.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Include.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Include.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Includee.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Includee.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/IndexIntoUpdate.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/IndexIntoUpdate.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/InductivePredicates.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/InductivePredicates.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/InitialValues.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/InitialValues.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Inverses.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Inverses.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/IteratorResolution.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/IteratorResolution.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Iterators.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Iterators.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/JustWarnings.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/JustWarnings.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LabeledAsserts.dfy:                                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LabeledAsserts.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LabeledAssertsResolution.dfy:                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LabeledAssertsResolution.dfy.expect:                                       CSV text
data/dafny-2.3.0+dfsg/Test/dafny0/LabelsOldAt.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LabelsOldAt.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LetExpr.dfy:                                                               C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LetExpr.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LhsDuplicates.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LhsDuplicates.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LiberalEquality.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LiberalEquality.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LitTriggers.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LitTriggers.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LoopModifies.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/LoopModifies.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Maps.dfy:                                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Maps.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MatchBraces.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MatchBraces.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Matrix-OOB.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Matrix-OOB.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MiscTypeInferenceTests.dfy:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MiscTypeInferenceTests.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MoForallCompilation.dfy:                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MoForallCompilation.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModifyStmt.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModifyStmt.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModuleExport.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModuleExport.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModuleInsertion.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModuleInsertion.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModuleInsertionErrors.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModuleInsertionErrors.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModulePrint.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModulePrint.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Modules0.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Modules0.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Modules1.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Modules1.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Modules2.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Modules2.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModulesCycle.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ModulesCycle.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MultiDimArray.dfy:                                                         C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MultiDimArray.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MultiSets.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/MultiSets.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NatTypes.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NatTypes.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NestedMatch.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NestedMatch.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NestedPatterns.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NestedPatterns.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Newtypes.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Newtypes.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NewtypesResolution.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NewtypesResolution.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NoTypeArgs.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NoTypeArgs.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NonGhostQuantifiers.dfy:                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NonGhostQuantifiers.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NonZeroInitialization.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NonZeroInitialization.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NonZeroInitializationCompile.dfy:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NonZeroInitializationCompile.dfy.expect:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NullComparisonWarnings.dfy:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/NullComparisonWarnings.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/OpaqueFunctions.dfy:                                                       C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/OpaqueFunctions.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Parallel.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Parallel.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ParallelResolveErrors.dfy:                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ParallelResolveErrors.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ParseErrors.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ParseErrors.dfy.expect:                                                    CSV text
data/dafny-2.3.0+dfsg/Test/dafny0/PredExpr.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/PredExpr.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Predicates.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Predicates.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/PrefixSyntax.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/PrefixSyntax.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/PrefixTypeSubst.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/PrefixTypeSubst.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Protected.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Protected.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ProtectedResolution.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ProtectedResolution.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RangeCompilation.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RangeCompilation.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RankNeg.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RankNeg.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RankPos.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RankPos.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Reads.dfy:                                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Reads.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RealCompare.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RealCompare.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RealTypes.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RealTypes.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Refinement.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Refinement.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RefinementErrors.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RefinementErrors.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RefinementModificationChecking.dfy:                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RefinementModificationChecking.dfy.expect:                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ResolutionErrors.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ResolutionErrors.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RestrictedBoundedPools.dfy:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RestrictedBoundedPools.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ReturnErrors.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ReturnErrors.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ReturnTests.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/ReturnTests.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RuntimeTypeTests0.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RuntimeTypeTests0.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RuntimeTypeTests1.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RuntimeTypeTests1.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RuntimeTypeTests2.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/RuntimeTypeTests2.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SeqFromArray.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SeqFromArray.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SeqSlice.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SeqSlice.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Shadows.dfy:                                                               C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Shadows.dfy.expect:                                                        CSV text
data/dafny-2.3.0+dfsg/Test/dafny0/SharedDestructors.dfy:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SharedDestructors.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SharedDestructorsCompile.dfy:                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SharedDestructorsCompile.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SharedDestructorsResolution.dfy:                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SharedDestructorsResolution.dfy.expect:                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImports.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImportsErrors.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SiblingImportsErrors.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Simple.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Simple.dfy.expect:                                                         C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Skeletons.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Skeletons.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SmallTests.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SmallTests.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SplitExpr.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SplitExpr.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/StatementExpressions.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/StatementExpressions.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Strings.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Strings.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SubsetTypes.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/SubsetTypes.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Superposition.dfy:                                                         C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Superposition.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TailCalls.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TailCalls.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Termination.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Termination.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitBasix.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitBasix.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitCompile.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitCompile.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitExample.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitExample.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitExtend.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitExtend.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitMultiModule.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitMultiModule.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitOverride0.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitOverride0.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitOverride1.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitOverride1.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitPolymorphism.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitPolymorphism.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitSpecsOverride0.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitSpecsOverride0.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitUsingParentMembers.dfy:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitUsingParentMembers.dfy.expect:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/Traits-Fields.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/Traits-Fields.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitsDecreases.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitsDecreases.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitsMultipleInheritance.dfy:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Trait/TraitsMultipleInheritance.dfy.expect:                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TriggerInPredicate.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TriggerInPredicate.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Tuples.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Tuples.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Twostate-Functions.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Twostate-Functions.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Twostate-Resolution.dfy:                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Twostate-Resolution.dfy.expect:                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Twostate-Verification.dfy:                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Twostate-Verification.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeAntecedents.dfy:                                                       C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeAntecedents.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeConstraints.dfy:                                                       C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeConstraints.dfy.expect:                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeConversions.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeConversions.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeConversionsCompile.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeConversionsCompile.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeInstantiations.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeInstantiations.dfy.expect:                                             CSV text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeParameters.dfy:                                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeParameters.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeSynonyms.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeSynonyms.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeTests.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/TypeTests.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Unchanged.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Unchanged.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/UnfoldingPerformance.dfy:                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/UnfoldingPerformance.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/UserSpecifiedTypeParameters.dfy:                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/UserSpecifiedTypeParameters.dfy.expect:                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Variance.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Variance.dfy.expect:                                                       ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/dafny0/Wellfounded.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/Wellfounded.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/columns.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/columns.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/fun-with-slices.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/fun-with-slices.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/one-message-per-failed-precondition.dfy:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/one-message-per-failed-precondition.dfy.expect:                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots0.v0.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots0.v1.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots1.v0.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots1.v1.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots2.v0.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots2.v1.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots3.v0.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots3.v1.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots4.v0.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots4.v1.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots5.v0.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots5.v1.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots6.v0.dfy:                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots6.v1.dfy:                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots7.v0.dfy:                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots7.v1.dfy:                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots8.v0.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots8.v1.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots9.v0.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Inputs/Snapshots9.v1.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots0.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots0.run.dfy.expect:                                       ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots1.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots1.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots2.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots2.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots3.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots3.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots4.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots4.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots5.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots5.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots6.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots6.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots7.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots7.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots8.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots8.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots9.run.dfy:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny0/snapshots/Snapshots9.run.dfy.expect:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/BDD.dfy:                                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/BDD.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/BinaryTree.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/BinaryTree.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Celebrity.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Celebrity.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Cubes.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Cubes.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ExtensibleArray.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ExtensibleArray.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ExtensibleArrayAuto.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ExtensibleArrayAuto.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/FindZero.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/FindZero.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Induction.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Induction.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/KatzManna.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/KatzManna.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ListContents.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ListContents.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ListCopy.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ListCopy.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ListReverse.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/ListReverse.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/MatrixFun.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/MatrixFun.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/MoreInduction.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/MoreInduction.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/PriorityQueue.dfy:                                                         C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/PriorityQueue.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Queue.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Queue.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Rippling.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Rippling.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/SchorrWaite-stages.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/SchorrWaite-stages.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/SchorrWaite.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/SchorrWaite.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/SeparationLogicList.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/SeparationLogicList.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Substitution.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/Substitution.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/SumOfCubes.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/SumOfCubes.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/TerminationDemos.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/TerminationDemos.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/TreeDatatype.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/TreeDatatype.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/UltraFilter.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/UltraFilter.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/UnboundedStack.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/UnboundedStack.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/pow2.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny1/pow2.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-1-MaxArray.dfy:                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-1-MaxArray.dfy.expect:                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-2-MaxTree-class.dfy:                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-2-MaxTree-class.dfy.expect:                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-2-MaxTree-datatype.dfy:                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-2-MaxTree-datatype.dfy.expect:                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-3-TwoDuplicates.dfy:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-3-TwoDuplicates.dfy.expect:                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-4-FloydCycleDetect.dfy:                               C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/COST-verif-comp-2011-4-FloydCycleDetect.dfy.expect:                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/CalcDefaultMainOperator.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/CalcDefaultMainOperator.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/Calculations.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/Calculations.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/Classics.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/Classics.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/Intervals.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/Intervals.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/MajorityVote.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/MajorityVote.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/MinWindowMax.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/MinWindowMax.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/MonotonicHeapstate.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/MonotonicHeapstate.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/SegmentSum.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/SegmentSum.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/SmallestMissingNumber-functional.dfy:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/SmallestMissingNumber-functional.dfy.expect:                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/SmallestMissingNumber-imperative.dfy:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/SmallestMissingNumber-imperative.dfy.expect:                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/SnapshotableTrees.dfy:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/SnapshotableTrees.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/StoreAndRetrieve.dfy:                                                      C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/StoreAndRetrieve.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/TreeBarrier.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/TreeBarrier.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/TreeFill.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/TreeFill.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/TuringFactorial.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/TuringFactorial.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/Z-BirthdayBook.dfy:                                                        C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/Z-BirthdayBook.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/pq-intrinsic-extrinsic.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny2/pq-intrinsic-extrinsic.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Abstemious.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Abstemious.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/AbstemiousErrors.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/AbstemiousErrors.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/CachedContainer.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/CachedContainer.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/CalcExample.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/CalcExample.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Dijkstra.dfy:                                                              UTF-8 Unicode text
data/dafny-2.3.0+dfsg/Test/dafny3/Dijkstra.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/EWD-1062.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/EWD-1062.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Filter.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Filter.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/GenericSort.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/GenericSort.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Inc.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Inc.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/InductionVsCoinduction.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/InductionVsCoinduction.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/InfiniteTrees.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/InfiniteTrees.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Iter.dfy:                                                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Iter.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/OpaqueTrees.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/OpaqueTrees.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Paulson.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Paulson.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/SetIterations.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/SetIterations.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/SimpleCoinduction.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/SimpleCoinduction.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/SimpleInduction.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/SimpleInduction.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Streams.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Streams.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/WideTrees.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/WideTrees.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Zip.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny3/Zip.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/ACL2-extractor.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/ACL2-extractor.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Ackermann.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Ackermann.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/BinarySearch.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/BinarySearch.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug100.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug100.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug101.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug101.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug103.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug103.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug104.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug104.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug107.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug107.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug108.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug108.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug109.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug109.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug110.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug110.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug111.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug111.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug113.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug113.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug114.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug114.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug116.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug116.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug117.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug117.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug118.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug118.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug120.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug120.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug121.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug121.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug122.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug122.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug124.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug124.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug125.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug125.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug125more.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug125more.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug128.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug128.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug129.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug129.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug131.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug131.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug132.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug132.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug133.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug133.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug134.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug134.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug136.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug136.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug138.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug138.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug139.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug139.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug140.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug140.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug142.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug142.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug144.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug144.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug145.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug145.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug146.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug146.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug148.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug148.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug150.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug150.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug151.dfy:                                                                C source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug151.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug155.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug155.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug159.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug159.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug160.dfy:                                                                C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug160.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug161.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug161.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug162.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug162.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug165.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug165.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug166.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug166.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug168.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug168.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug169.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug169.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug170.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug170.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug49.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug49.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug54.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug54.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug55.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug55.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug56.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug56.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug58.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug58.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug60.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug60.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug62.dfy:                                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug62.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug63.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug63.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug67.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug67.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug68.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug68.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug69.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug69.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug70.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug70.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug71.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug71.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug72.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug72.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug73.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug73.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug75.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug75.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug79.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug79.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug81.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug81.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug82.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug82.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug88.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug88.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug89.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug89.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug91.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug91.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug92.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug92.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug93.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug93.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug94.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug94.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug99.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Bug99.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Circ.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Circ.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/ClassRefinement.dfy:                                                       C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/ClassRefinement.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/CoqArt-InsertionSort.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/CoqArt-InsertionSort.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/ExpandedGuardedness.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/ExpandedGuardedness.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/ExpandedGuardednessNeg.dfy:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/ExpandedGuardednessNeg.dfy.expect:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/FlyingRobots.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/FlyingRobots.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Fstar-QuickSort.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Fstar-QuickSort.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/GHC-MergeSort.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/GHC-MergeSort.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Issue09.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Issue09.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Juggernaut.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Juggernaut.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/KozenSilva.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/KozenSilva.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/LargeConstants.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/LargeConstants.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Leq.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Leq.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Lucas-down.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Lucas-down.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Lucas-up.dfy:                                                              ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Lucas-up.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/McCarthy91.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/McCarthy91.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/MonadicLaws.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/MonadicLaws.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/NatList.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/NatList.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter3.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter3.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/NipkowKlein-chapter7.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/NumberRepresentations.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/NumberRepresentations.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/OpaqueBug.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/OpaqueBug.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Primes.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Primes.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression0.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression0.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression1.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression1.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression10.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression10.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression11.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression11.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression12.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression12.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression13.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression13.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression14.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression14.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression15.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression15.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression16.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression16.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression17.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression17.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression18.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression18.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression2.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression2.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression3.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression3.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression4.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression4.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression5.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression5.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression6.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression6.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression7.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression7.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression8.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression8.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression9.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/Regression9.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/RollYourOwnArrowType.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/RollYourOwnArrowType.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/SoftwareFoundations-Basics.dfy:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/SoftwareFoundations-Basics.dfy.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/UnionFind.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/UnionFind.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue1.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue1.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue104.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue104.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue105.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue105.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue109.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue109.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue110.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue110.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue120.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue120.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue129.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue129.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue133.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue133.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue134.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue134.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue135.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue135.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue141.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue141.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue143.transcript:                                                   ASCII text, with very long lines, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue143.transcript.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue147.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue147.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue148.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue148.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue149.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue149.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue15.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue15.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue155.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue155.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue158.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue158.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue159.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue159.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue16.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue16.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue16.dfyi:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue161.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue161.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue167.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue167.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue176.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue176.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue18.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue18.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue182.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue182.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue195.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue195.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue196.dfy:                                                          C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue196.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue2.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue2.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue20.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue20.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue203.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue203.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue206.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue206.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue209.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue209.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue210.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue210.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue22.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue22.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue225.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue225.dfy.expect:                                                   CSV text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue228.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue228.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue23.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue23.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue26.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue26.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue27.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue27.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue28.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue28.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue29.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue29.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue3.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue3.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue39.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue39.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue4.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue4.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue40.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue40.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue41.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue41.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue42.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue42.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue43.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue43.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue44.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue44.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue45.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue45.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue46-include.dfyi:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue46.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue46.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue47-include.dfyi:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue47.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue47.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue48-include.dfyi:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue48.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue48.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue49.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue49.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue5.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue5.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue50.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue50.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue51.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue51.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue53.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue53.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue57.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue57.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue59.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue59.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue59.dfyi:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue63.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue63.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue64.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue64.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue64.dfyi:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue67.dfy:                                                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue67.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue70.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue70.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue74.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue74.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue75.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue75.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue76.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue76.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue79.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue79.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue88.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue88.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue90.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue90.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue92.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue92.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue96.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue96.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue98.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue98.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue99.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/git-issue99.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/set-compr.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/dafny4/set-compr.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/exports/AggregateImport.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/exports/AggregateImport.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/exports/AliasedImportConsistency.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/exports/AliasedImportConsistency.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ClassMemberExport.dfy:                                                    C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ClassMemberExport.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/exports/DatatypeExport.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/exports/DatatypeExport.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/exports/DecreasesExports.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/exports/DecreasesExports.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/exports/DefaultExport.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/exports/DefaultExport.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ExportErrorLocations.dfy:                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ExportErrorLocations.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ExportImport.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ExportImport.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ExportInductivePredicate.dfy:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ExportInductivePredicate.dfy.expect:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ExportRefinement.dfy:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ExportRefinement.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/exports/FIFO.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/exports/FIFO.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ImportPathNonShadow.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/exports/ImportPathNonShadow.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/exports/IncludeSkipTranslate.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/exports/IncludeSkipTranslate.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/exports/LIFO.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/exports/LIFO.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/exports/OpaqueFunctions.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/exports/OpaqueFunctions.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/exports/OpaqueTypes.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/exports/OpaqueTypes.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/exports/OpenImport.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/exports/OpenImport.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/exports/OpenImportRefined.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/exports/OpenImportRefined.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/exports/Queue.dfyi:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/exports/RevealProvideAll.dfy:                                                     C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/exports/RevealProvideAll.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/exports/SubModuleDefaultExport.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/exports/SubModuleDefaultExport.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/exports/xrefine0.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/exports/xrefine1.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/exports/xrefine1.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/exports/xrefine2.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/exports/xrefine2.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/exports/xrefine3.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/exports/xrefine3.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Apply.dfy:                                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Apply.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/ArrowTypeOptimizations.dfy:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/ArrowTypeOptimizations.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Classes.dfy:                                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Classes.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Compilation.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Compilation.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Consequence.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Consequence.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Examples.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Examples.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Field.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Field.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/FnRef.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/FnRef.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Fold.dfy:                                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Fold.dfy.expect:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Folding.dfy:                                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Folding.dfy.expect:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Frame.dfy:                                                                   C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Frame.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Lambda.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Lambda.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/LambdaParsefail.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/LambdaParsefail.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/LambdaParsefail2.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/LambdaParsefail2.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Monads.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Monads.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/MutableField.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/MutableField.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Naked.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Naked.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/ReadsReads.dfy:                                                              C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/ReadsReads.dfy.expect:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Renaming.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Renaming.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Requires.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Requires.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/ResolveError.dfy:                                                            C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/ResolveError.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Simple.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Simple.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/SumSum.dfy:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/SumSum.dfy.expect:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/TreeMapSimple.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/TreeMapSimple.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Twice.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Twice.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Types.dfy:                                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Types.dfy.expect:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Underspecified.dfy:                                                          ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/Underspecified.dfy.expect:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/VectorUpdate.dfy:                                                            ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/VectorUpdate.dfy.expect:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/WhileLoop.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/hofs/WhileLoop.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/irondafny0/inheritreqs0.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/irondafny0/inheritreqs0.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/irondafny0/inheritreqs1.dfy:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/irondafny0/inheritreqs1.dfy.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/irondafny0/opened_workaround.dfy:                                                 C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/irondafny0/opened_workaround.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/irondafny0/optimize0.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/irondafny0/optimize0.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/lit.site.cfg:                                                                     Python script, ASCII text executable
data/dafny-2.3.0+dfsg/Test/pydiff.py:                                                                        Python script, ASCII text executable
data/dafny-2.3.0+dfsg/Test/runTests.bat:                                                                     DOS batch file, ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/runTests.py:                                                                      Python script, ASCII text executable
data/dafny-2.3.0+dfsg/Test/server/counterexample.transcript:                                                 ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/server/counterexample.transcript.expect:                                          ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/server/counterexample_none.transcript:                                            ASCII text, with very long lines, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/server/counterexample_none.transcript.expect:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/server/git-issue223.transcript:                                                   ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/server/git-issue223.transcript.expect:                                            ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/server/minimal.transcript:                                                        ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/server/minimal.transcript.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/server/simple-session.transcript:                                                 ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/server/simple-session.transcript.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/server/symbols.transcript:                                                        ASCII text, with very long lines, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/server/symbols.transcript.expect:                                                 ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/server/unmarshal.transcript:                                                      ASCII text, with CRLF line terminators
data/dafny-2.3.0+dfsg/Test/server/unmarshal.transcript.expect:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/auto-triggers-fix-an-issue-listed-in-the-ironclad-notebook.dfy:          ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/auto-triggers-fix-an-issue-listed-in-the-ironclad-notebook.dfy.expect:   ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/constructors-cause-matching-loops.dfy:                                   ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/constructors-cause-matching-loops.dfy.expect:                            ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/function-applications-are-triggers.dfy:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/function-applications-are-triggers.dfy.expect:                           ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/large-quantifiers-dont-break-dafny.dfy:                                  ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/triggers/large-quantifiers-dont-break-dafny.dfy.expect:                           ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/triggers/let-expressions.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/let-expressions.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/loop-detection-is-not-too-strict.dfy:                                    ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/loop-detection-is-not-too-strict.dfy.expect:                             ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/loop-detection-looks-at-ranges-too.dfy:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/loop-detection-looks-at-ranges-too.dfy.expect:                           ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/loop-detection-messages--unit-tests.dfy:                                 ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/loop-detection-messages--unit-tests.dfy.expect:                          ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/looping-is-hard-to-decide-modulo-equality.dfy:                           C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/looping-is-hard-to-decide-modulo-equality.dfy.expect:                    ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/matrix-accesses-are-triggers.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/matrix-accesses-are-triggers.dfy.expect:                                 ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/nested-quantifiers-all-get-triggers.dfy:                                 ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/nested-quantifiers-all-get-triggers.dfy.expect:                          ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/old-is-a-special-case-for-triggers.dfy:                                  C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/old-is-a-special-case-for-triggers.dfy.expect:                           ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/redundancy-detection-is-bidirectional.dfy:                               ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/redundancy-detection-is-bidirectional.dfy.expect:                        ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/regression-tests.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/regression-tests.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/set-construction-is-a-good-trigger.dfy:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/set-construction-is-a-good-trigger.dfy.expect:                           ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/some-proofs-only-work-without-autoTriggers.dfy:                          UTF-8 Unicode text
data/dafny-2.3.0+dfsg/Test/triggers/some-proofs-only-work-without-autoTriggers.dfy.expect:                   ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/some-terms-do-not-look-like-the-triggers-they-match.dfy:                 ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/some-terms-do-not-look-like-the-triggers-they-match.dfy.expect:          ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/splitting-picks-the-right-tokens.dfy:                                    ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/splitting-picks-the-right-tokens.dfy.expect:                             ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/splitting-triggers-recovers-expressivity.dfy:                            ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/splitting-triggers-recovers-expressivity.dfy.expect:                     ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/splitting-triggers-yields-better-precondition-related-errors.dfy:        ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/splitting-triggers-yields-better-precondition-related-errors.dfy.expect: ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/suppressing-warnings-behaves-properly.dfy:                               ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/suppressing-warnings-behaves-properly.dfy.expect:                        ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/triggers-prevent-some-inlining.dfy:                                      ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/triggers-prevent-some-inlining.dfy.expect:                               ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/useless-triggers-are-removed.dfy:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/useless-triggers-are-removed.dfy.expect:                                 ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/wf-checks-use-the-original-quantifier.dfy:                               C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/triggers/wf-checks-use-the-original-quantifier.dfy.expect:                        ASCII text
data/dafny-2.3.0+dfsg/Test/tutorial/maximum.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Test/tutorial/maximum.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/vacid0/Composite.dfy:                                                             C++ source, ASCII text
data/dafny-2.3.0+dfsg/Test/vacid0/Composite.dfy.expect:                                                      ASCII text
data/dafny-2.3.0+dfsg/Test/vacid0/LazyInitArray.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/vacid0/LazyInitArray.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/vacid0/SparseArray.dfy:                                                           ASCII text
data/dafny-2.3.0+dfsg/Test/vacid0/SparseArray.dfy.expect:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/BreadthFirstSearch.dfy:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/BreadthFirstSearch.dfy.expect:                                          ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/Combinators.dfy:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/Combinators.dfy.expect:                                                 ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/RingBuffer.dfy:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/RingBuffer.dfy.expect:                                                  ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/RingBufferAuto.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/RingBufferAuto.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/Tree.dfy:                                                               ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/Tree.dfy.expect:                                                        ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/Two-Way-Sort.dfy:                                                       ASCII text
data/dafny-2.3.0+dfsg/Test/vstte2012/Two-Way-Sort.dfy.expect:                                                ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/FunctionEquality.dfy:                                                    ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/FunctionEquality.dfy.expect:                                             ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/assign-such-that-antecedent.dfy:                                         ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/assign-such-that-antecedent.dfy.expect:                                  ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/calc.dfy:                                                                ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/calc.dfy.expect:                                                         ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/exists-b-exists-not-b.dfy:                                               ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/exists-b-exists-not-b.dfy.expect:                                        ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/granted/strings.dfy:                                                     ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/granted/strings.dfy.expect:                                              ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy:                          ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/granted/useless-casts-in-decreases-clauses.dfy.expect:                   ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/naked-function-in-recursive-setting.dfy:                                 ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/naked-function-in-recursive-setting.dfy.expect:                          ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/sequences-literals.dfy:                                                  ASCII text, with very long lines
data/dafny-2.3.0+dfsg/Test/wishlist/sequences-literals.dfy.expect:                                           ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/sequences-s0-in-s.dfy:                                                   ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/sequences-s0-in-s.dfy.expect:                                            ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/we-should-always-print-tooltips.dfy:                                     ASCII text
data/dafny-2.3.0+dfsg/Test/wishlist/we-should-always-print-tooltips.dfy.expect:                              ASCII text
data/dafny-2.3.0+dfsg/Util/Banner/DutchFlag.dfy:                                                             ASCII text
data/dafny-2.3.0+dfsg/Util/Banner/dafny-banner.xcf:                                                          GIMP XCF image data, version 0, 800 x 275, RGB Color
data/dafny-2.3.0+dfsg/Util/Banner/dafny-logo.jpg:                                                            JPEG image data, JFIF standard 1.02, aspect ratio, density 100x100, segment length 16, baseline, precision 8, 690x573, components 3
data/dafny-2.3.0+dfsg/Util/Banner/dafny-thumbnail.jpg:                                                       JPEG image data, JFIF standard 1.01, resolution (DPI), density 100x100, segment length 16, baseline, precision 8, 300x249, components 3
data/dafny-2.3.0+dfsg/Util/BoogieDafnyBuildandTest.cmd:                                                      DOS batch file, ASCII text
data/dafny-2.3.0+dfsg/Util/Emacs/README:                                                                     ASCII text
data/dafny-2.3.0+dfsg/Util/latex/dafny.sty:                                                                  ASCII text
data/dafny-2.3.0+dfsg/Util/vim/README.md:                                                                    ASCII text
data/dafny-2.3.0+dfsg/Util/vim/dafny.vim:                                                                    ASCII text
data/dafny-2.3.0+dfsg/dafny-banner.png:                                                                      PNG image data, 800 x 275, 8-bit/color RGBA, non-interlaced
data/dafny-2.3.0+dfsg/package.py:                                                                            Python script, ASCII text executable
data/dafny-2.3.0+dfsg/debian/bin/dafny:                                                                      POSIX shell script, ASCII text executable
data/dafny-2.3.0+dfsg/debian/changelog:                                                                      ASCII text
data/dafny-2.3.0+dfsg/debian/control:                                                                        ASCII text
data/dafny-2.3.0+dfsg/debian/copyright:                                                                      ASCII text
data/dafny-2.3.0+dfsg/debian/dafny.1:                                                                        troff or preprocessor input, UTF-8 Unicode text
data/dafny-2.3.0+dfsg/debian/dafny.install:                                                                  ASCII text
data/dafny-2.3.0+dfsg/debian/dafny.links:                                                                    ASCII text
data/dafny-2.3.0+dfsg/debian/dafny.manpages:                                                                 ASCII text
data/dafny-2.3.0+dfsg/debian/gbp.conf:                                                                       ASCII text
data/dafny-2.3.0+dfsg/debian/patches/series:                                                                 ASCII text
data/dafny-2.3.0+dfsg/debian/patches/use_system_z3.diff:                                                     unified diff output, ASCII text
data/dafny-2.3.0+dfsg/debian/rules:                                                                          a /usr/bin/make -f script, ASCII text executable
data/dafny-2.3.0+dfsg/debian/source/format:                                                                  ASCII text
data/dafny-2.3.0+dfsg/debian/tests/ackermann-neg:                                                            POSIX shell script, ASCII text executable
data/dafny-2.3.0+dfsg/debian/tests/ackermann-pos:                                                            POSIX shell script, ASCII text executable
data/dafny-2.3.0+dfsg/debian/tests/control:                                                                  ASCII text
data/dafny-2.3.0+dfsg/debian/watch:                                                                          ASCII text
data/dafny-2.3.0+dfsg/.pc/.version:                                                                          ASCII text
data/dafny-2.3.0+dfsg/.pc/.quilt_patches:                                                                    ASCII text
data/dafny-2.3.0+dfsg/.pc/.quilt_series:                                                                     ASCII text
data/dafny-2.3.0+dfsg/.pc/applied-patches:                                                                   ASCII text
data/dafny-2.3.0+dfsg/.pc/use_system_z3.diff/Source/Dafny/DafnyOptions.cs:                                   ASCII text