data/boogie-2.4.1+dfsg/.gitattributes: ASCII text data/boogie-2.4.1+dfsg/.gitignore: ASCII text data/boogie-2.4.1+dfsg/.travis.yml: ASCII text data/boogie-2.4.1+dfsg/Binaries/PrepareBoogieZip.bat: DOS batch file, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Binaries/boogie: Bourne-Again shell script, ASCII text executable data/boogie-2.4.1+dfsg/LICENSE.txt: ASCII text data/boogie-2.4.1+dfsg/README.md: ASCII text data/boogie-2.4.1+dfsg/Source/AIFramework/AIFramework-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/AIFramework.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/CommonFunctionSymbols.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Expr.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Functional.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Lattice.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Logger.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/MultiLattice.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Mutable.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Polyhedra/LinearConstraint.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Polyhedra/PolyhedraAbstraction.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/Polyhedra/SimplexTableau.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/VariableMap/ConstantAbstraction.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/VariableMap/ConstantExpressions.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/VariableMap/DynamicTypeLattice.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/VariableMap/Intervals.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/VariableMap/MicroLattice.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/VariableMap/Nullness.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/VariableMap/VariableMapLattice.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AIFramework/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AbsInt/AbsInt-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AbsInt/AbsInt.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AbsInt/IntervalDomain.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AbsInt/NativeLattice.cs: C source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AbsInt/Traverse.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AbsInt/TrivialDomain.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/AbsInt/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/BVD/App.config: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/BVD/BVD.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/BVD/Program.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/BVD/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/Basetypes-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/Basetypes.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/BigDec.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/BigFloat.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/BigNum.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/Rational.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/RoundingMode.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/Set.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Basetypes/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Boogie.sln: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/BoogieDriver/BoogieDriver-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/BoogieDriver/BoogieDriver.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/BoogieDriver/BoogieDriver.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/BoogieDriver/app.config: XML 1.0 document, ASCII text data/boogie-2.4.1+dfsg/Source/BoogieDriver/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/CodeContractsExtender/CodeContractsExtender-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/CodeContractsExtender/CodeContractsExtender.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/CodeContractsExtender/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/App.config: XML 1.0 document, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/CivlTypeChecker.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/CivlUtil.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/CivlVCGeneration.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/Concurrency-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/Concurrency.csproj: XML 1.0 document, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/GlobalSnapshotInstrumentation.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/LinearTypeChecker.cs: C source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/MoverCheck.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/NoninterferenceInstrumentation.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/RefinementInstrumentation.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/SimulationRelation.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/TransitionRelationComputation.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/Witnesses.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/YieldTypeChecker.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/YieldingProcChecker.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/YieldingProcDuplicator.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Concurrency/YieldingProcInstrumentation.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Absy.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/AbsyCmd.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/AbsyExpr.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/AbsyQuant.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/AbsyType.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/AlphaEquality.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/BoogiePL.atg: Generic INItialization configuration [ ]\015 data/boogie-2.4.1+dfsg/Source/Core/CivlAttributes.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/CommandLineOptions.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Core-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Core.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/DeadVarElim.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Duplicator.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Inline.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/InterProceduralReachabilityGraph.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/LambdaHelper.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/LambdaLiftingMaxHolesFiller.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/LambdaLiftingTemplate.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/LoopUnroll.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Makefile: makefile script, ASCII text data/boogie-2.4.1+dfsg/Source/Core/MaxHolesLambdaLifter.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/OOLongUtil.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Parser.cs: ASCII text, with very long lines, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Readme.txt: ASCII text data/boogie-2.4.1+dfsg/Source/Core/ResolutionContext.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Scanner.cs: Generic INItialization configuration [ContractInvariantMethod]\015 data/boogie-2.4.1+dfsg/Source/Core/StandardVisitor.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/TypeAmbiguitySeeker.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Util.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/VCExp.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/VariableDependenceAnalyser.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/Xml.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Core/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Doomed/DoomCheck.cs: C++ source, ASCII text, with very long lines, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Doomed/DoomErrorHandler.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Doomed/Doomed-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Doomed/Doomed.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Doomed/DoomedLoopUnrolling.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Doomed/DoomedStrategy.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Doomed/HasseDiagram.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Doomed/VCDoomed.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ExecutionEngine/ExecutionEngine-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ExecutionEngine/ExecutionEngine.cs: UTF-8 Unicode (with BOM) text, with very long lines, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ExecutionEngine/ExecutionEngine.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ExecutionEngine/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ExecutionEngine/ThreadTaskScheduler.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ExecutionEngine/VerificationResultCache.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro.sln: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/Ast.fs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/BoogieAst.fs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/BoogiePrinter.fs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/Forro.fsproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/Lexer.fsl: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/Main.fs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/Parser.fsy: lex description, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/Printer.fs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/Resolver.fs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Forro/Translator.fs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Graph/Graph-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Graph/Graph.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Graph/Graph.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Graph/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Houdini/AbstractHoudini.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Houdini/AnnotationDependenceAnalyser.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Houdini/Checker.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Houdini/ConcurrentHoudini.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Houdini/Houdini-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Houdini/Houdini.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Houdini/Houdini.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Houdini/StagedHoudini.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/InterimKey.snk: data data/boogie-2.4.1+dfsg/Source/Model/Model-NetCore.csproj: exported SGML document, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Model/Model.cs: UTF-8 Unicode text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Model/Model.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Model/ModelParser.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Model/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/BCTProvider.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/BaseProvider.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/DafnyProvider.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/DataModel.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Main.Designer.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Main.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Main.resx: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/ModelViewer.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Namer.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Properties/Resources.Designer.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Properties/Resources.resx: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Properties/Settings.Designer.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/Properties/Settings.settings: XML 1.0 document, UTF-8 Unicode (with BOM) text data/boogie-2.4.1+dfsg/Source/ModelViewer/SourceView.Designer.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/SourceView.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/SourceView.resx: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/TreeSkeleton.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/VccProvider.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ModelViewer/bvdicon.design: data data/boogie-2.4.1+dfsg/Source/ModelViewer/bvdicon.ico: MS Windows icon resource - 10 icons, 32x32, 16 colors, 4 bits/pixel, 16x16, 16 colors, 4 bits/pixel data/boogie-2.4.1+dfsg/Source/ParserHelper/ParserHelper-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ParserHelper/ParserHelper.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/ParserHelper/ParserHelper.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Predication/Predication-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Predication/Predication.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Predication/SmartBlockPredicator.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Predication/UniformityAnalyser.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/CVC4.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/Inspector.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/ProverInterface.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/SExpr.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/SMTLib-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/SMTLib.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/SMTLibLineariser.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/SMTLibNamer.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/SMTLibProcess.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/SMTLibProverOptions.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/TypeDeclCollector.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/Z3.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/SMTLib/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/TPTP/ProverInterface.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/TPTP/TPTP.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/TPTP/TPTPLineariser.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/TPTP/TypeDeclCollector.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/Z3api/ContextLayer.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/Z3api/ProverLayer.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/Z3api/SafeContext.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/Z3api/StubContext.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/Z3api/TypeAdapter.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/Z3api/VCExprVisitor.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/Z3api/Z3api.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/Provers/Z3api/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/BasetypesTests/BasetypesTests.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/BasetypesTests/BigDecTests.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/BasetypesTests/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/BasetypesTests/packages.config: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/CoreTests/AbsyMetadata.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/CoreTests/CoreTests.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/CoreTests/Duplicator.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/CoreTests/ExprEquality.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/CoreTests/ExprImmutability.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/CoreTests/ExprTypeChecking.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/CoreTests/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/CoreTests/packages.config: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/README.md: ASCII text data/boogie-2.4.1+dfsg/Source/UnitTests/TestUtil/AssertionTextWriterTraceListener.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/TestUtil/BoogieTestBase.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/TestUtil/ProgramLoader.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/TestUtil/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/TestUtil/TestUtil.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/TestUtil/packages.config: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/UnitTests/run-unittests.py: Python script, ASCII text executable data/boogie-2.4.1+dfsg/Source/VCExpr/BigLiteralAbstracter.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/Boogie2VCExpr.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/Clustering.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/LetBindingSorter.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/NameClashResolver.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/SimplifyLikeLineariser.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/TermFormulaFlattening.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/TypeErasure.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/TypeErasureArguments.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/TypeErasurePremisses.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/VCExpr-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/VCExpr.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/VCExprAST.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/VCExprASTPrinter.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/VCExprASTVisitors.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCExpr/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/Check.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/ConditionGeneration.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/Context.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/ExprExtensions.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/FixedpointVC.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/OrderingAxioms.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/RPFP.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/StratifiedVC.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/VC.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/VCGeneration-NetCore.csproj: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/VCGeneration.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/Wlp.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/VCGeneration/cce.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Source/version.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Test/AbsHoudini/Answer: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/f1.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/fail1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/fail1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd10.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd10.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd11.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd11.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd12.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd12.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd6.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd6.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd7.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd7.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd8.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/houd8.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/imp1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/int1.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/lit.local.cfg: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/multi.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred1.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred3.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred4.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred5.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/pred5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/quant5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/runtest.bat: DOS batch file, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Test/AbsHoudini/test1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test10.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test10.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test7.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test7.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test8.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test8.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test9.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/AbsHoudini/test9.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/README.md: ASCII text data/boogie-2.4.1+dfsg/Test/aitest0/Intervals.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest0/Intervals.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest0/Issue25.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest0/Issue25.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest0/constants.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest0/constants.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Bound.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Bound.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear6.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear6.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear7.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear7.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear8.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear8.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear9.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/Linear9.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/ineq.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest1/ineq.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest9/TestIntervals.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/aitest9/TestIntervals.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/aitest9/VarMapFixpoint.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/aitest9/VarMapFixpoint.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/arrays.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/arrays.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv10.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv10.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv6.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv6.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv7.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv7.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv8.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv8.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/bitvectors/bv9.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/bitvectors/bv9.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/DeviceCache.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/DeviceCache.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/FlanaganQadeer.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/FlanaganQadeer.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/GC.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/GC.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Program1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Program1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Program2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Program2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Program3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Program3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Program4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Program4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Siddharth-queue.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/Siddharth-queue.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/StoreBuffer.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/StoreBuffer.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/akash.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/akash.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/alloc-mem.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/alloc-mem.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/alloc-tid.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/alloc-tid.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/array-insert.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/array-insert.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2agree_1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2agree_1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2agree_2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2agree_2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2agree_3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2agree_3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2pc-triggers.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2pc-triggers.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2pc.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/2pc.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/async1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/async1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/async2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/async2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/inc-dec-2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/inc-dec-2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/inc-dec.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/inc-dec.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/inc-server.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/inc-server.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/inc-server_mover.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/inc-server_mover.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/leader.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/leader.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/lock-service-impl.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/lock-service-impl.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/lock-service.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/lock-service.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/pending-async-test.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/pending-async-test.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/rec-inc.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/rec-inc.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/simple-tds.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/simple-tds.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/tds.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/tds.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/tds2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/async/tds2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/backward.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/backward.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/bar.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/bar.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/bernhard1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/bernhard1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris6.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris6.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris7.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris7.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris8.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/chris8.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/civl-paper.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/civl-paper.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/cyclic-concur.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/cyclic-concur.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/foo.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/foo.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/funky.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/funky.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/ghost.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/ghost.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/inc-dec.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/inc-dec.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/intro.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/intro.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lamport.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lamport.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lamport_prophecy.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lamport_prophecy.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lease.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lease.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/left-mover.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/left-mover.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear-set.bpl: UTF-8 Unicode text data/boogie-2.4.1+dfsg/Test/civl/linear-set.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear-set2.bpl: UTF-8 Unicode text data/boogie-2.4.1+dfsg/Test/civl/linear-set2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/allocator.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/allocator.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/async-bug.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/async-bug.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/bug.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/bug.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/f1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/f1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/f2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/f2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/f3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/f3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/list.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/list.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/typecheck.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear/typecheck.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/civl/linear_out_bug.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linear_out_bug.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linearity-bug-1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linearity-bug-1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linearity-bug-2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/linearity-bug-2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lipton.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lipton.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lit.local.cfg: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lock-introduced.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lock-introduced.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lock.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/lock.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/lock2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/lock2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/multiset.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/multiset.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/new1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/new1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/nocollector.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/nocollector.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/ogcounter.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/ogcounter.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/ogcounter2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/ogcounter2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/one.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/one.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/par-incr.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/par-incr.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/par-intro-bug.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/par-intro-bug.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/parallel1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/parallel1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/parallel2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/parallel2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/parallel4.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/parallel4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/parallel5.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/parallel5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/perm.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/perm.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/podelski/t-s.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/podelski/t-s.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/podelski/x.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/podelski/x.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/podelski/x_perm.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/podelski/x_perm.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/purity-issta.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/purity-issta.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/refinement.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/refinement.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/reserve.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/seqlock.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/seqlock.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/signature-mismatch.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/signature-mismatch.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/t1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/t1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/termination.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/termination.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/termination2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/civl/termination2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/ticket.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/ticket.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/treiber-stack.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/treiber-stack.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/unprotected-read.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/unprotected-read.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/verified-ft.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/verified-ft.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/wilcox.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/wilcox.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/write-barrier.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/write-barrier.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/wsq.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/wsq.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/civl/zeldovich.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/civl/zeldovich.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/clean.py: Python script, ASCII text executable data/boogie-2.4.1+dfsg/Test/codeexpr/CodeExpr0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/codeexpr/CodeExpr0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/codeexpr/CodeExpr1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/codeexpr/CodeExpr1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/codeexpr/CodeExpr2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/codeexpr/CodeExpr2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/codeexpr/codeExprBug.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/codeexpr/codeExprBug.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/commandline/multiple_procs_unusual_identifiers.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/commandline/multiple_procs_verify_four_asterisk_wildcard.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/commandline/multiple_procs_verify_one.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/commandline/multiple_procs_verify_one_request_twice.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/commandline/multiple_procs_verify_two.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/commandline/multiple_procs_verify_two_asterisk_wildcard_begin.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/commandline/multiple_procs_verify_two_asterisk_wildcard_end.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/commandline/multiple_procs_verify_two_asterisk_wildcard_inbetween.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/datatypes/ex.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/datatypes/ex.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/datatypes/t1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/datatypes/t1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/datatypes/t2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/datatypes/t2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/datatypes/t3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/datatypes/t3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/doomed/doomdebug.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/doomed/doomed.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/doomed/lit.local.cfg: ASCII text data/boogie-2.4.1+dfsg/Test/doomed/notdoomed.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/doomed/runtest.bat: DOS batch file, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Test/doomed/smoke0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/detLoopExtract.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/detLoopExtract.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/detLoopExtract1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/detLoopExtract1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/detLoopExtract2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/detLoopExtract2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/detLoopExtractNested.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/detLoopExtractNested.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/t1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/t1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/t2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/t2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/t3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/t3.bpl.rb2.expect: ASCII text data/boogie-2.4.1+dfsg/Test/extractloops/t3.bpl.rb4.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperators1.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperators1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperators2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperators2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperators3.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperators3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperators4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperators4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperatorsWithTypeConv.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/BasicOperatorsWithTypeConv.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/CastToLowerPrec.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/CastToLowerPrec.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/ConstSyntax1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/ConstSyntax1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/ConstSyntax2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/ConstSyntax2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/ConstSyntax3.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/ConstSyntax3.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/floats/CorrectTypeConv.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/CorrectTypeConv.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/Equal1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/Equal1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/Equal2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/Equal2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/EvaluateSignBit.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/EvaluateSignBit.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/Havoc.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/Havoc.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/IncorrectTypeConv.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/IncorrectTypeConv.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/RemovedZeroSpecialValue.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/RemovedZeroSpecialValue.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/RoundingMode1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/RoundingMode1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/RoundingMode2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/RoundingMode2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/RoundoffError.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/RoundoffError.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/SpecialValues.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/SpecialValues.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/TypeConvConst.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/floats/TypeConvConst.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/TypeMismatch1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/TypeMismatch1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/TypeMismatch2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/TypeMismatch2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/floats/git-issue80.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/floats/git-issue80.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/forro/prog0.forro: ASCII text data/boogie-2.4.1+dfsg/Test/generalizedarray/Maps.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/generalizedarray/Maps.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/havoc0/KbdCreateClassObject.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/havoc0/KeyboardClassFindMorePorts.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/havoc0/KeyboardClassUnload.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/havoc0/MouCreateClassObject.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/havoc0/MouseClassFindMorePorts.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/havoc0/MouseClassUnload.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/havoc0/success.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/deterministic.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/deterministic.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd10.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd10.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd11.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd11.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd12.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd6.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd6.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd7.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd7.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd8.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd8.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd9.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/houd9.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/mergedProgSingle_dac.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/houdini/mergedProgSingle_dac.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/mergedProgSingle_res_ex1.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/houdini/mergedProgSingle_res_ex1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/mergedProgSingle_res_ex2.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/houdini/mergedProgSingle_res_ex2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test10.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test10.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test7.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test7.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test8.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test8.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test9.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/test9.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/testUnsatCore.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/houdini/testUnsatCore.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/Elevator.asml: ASCII text data/boogie-2.4.1+dfsg/Test/inline/Elevator.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/Elevator.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/InliningAndLoops.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/InliningAndLoops.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/codeexpr.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/codeexpr.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/expansion2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/expansion2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/expansion3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/expansion3.bpl.expect: diff output, ASCII text data/boogie-2.4.1+dfsg/Test/inline/expansion4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/expansion4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/fundef.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/fundef.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/fundef2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/fundef2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/inline_n_0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/inline_n_0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/polyInline.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/polyInline.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test4.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/inline/test4.bpl.expect: C source, ASCII text data/boogie-2.4.1+dfsg/Test/inline/test5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test5.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test6.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/inline/test6.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/lit.site.cfg: Python script, ASCII text executable data/boogie-2.4.1+dfsg/Test/livevars/NestedOneDimensionalMap.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/livevars/NestedOneDimensionalMap.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/livevars/TwoDimensionalMap.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/livevars/TwoDimensionalMap.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/livevars/bla1.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/livevars/bla1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/livevars/daytona_bug2_ioctl_example_1.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/livevars/daytona_bug2_ioctl_example_1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/livevars/daytona_bug2_ioctl_example_2.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/livevars/stack_overflow.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/livevars/stack_overflow.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/lock/Lock.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/lock/Lock.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/lock/LockIncorrect.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/lock/LockIncorrect.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/optimization/Optimization0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/optimization/Optimization0.bpl.expect: diff output, ASCII text data/boogie-2.4.1+dfsg/Test/optimization/Optimization1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/optimization/Optimization1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/optimization/Optimization2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/optimization/Optimization2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/optimization/Optimization3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/optimization/Optimization3.bpl.expect: diff output, ASCII text data/boogie-2.4.1+dfsg/Test/optimization/lit.local.cfg: ASCII text data/boogie-2.4.1+dfsg/Test/prover/EQ_v2.Eval__v4.Eval_out.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/prover/EQ_v2.Eval__v4.Eval_out.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/prover/usedot.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/prover/z3mutl.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/prover/z3mutl.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/pydiff.py: Python script, ASCII text executable data/boogie-2.4.1+dfsg/Test/roundingmodes/CorrectTypeConv.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/CorrectTypeConv.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/DiffModesNotEqual.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/DiffModesNotEqual.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FloatOperators1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FloatOperators1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FloatOperators2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FloatOperators2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FloatOpsFixedMode.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FloatOpsFixedMode.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FloatOpsWithoutRoundingMode.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FullNameAcronymEquivalence.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/FullNameAcronymEquivalence.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/InvalidFuncName.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/InvalidFuncName.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/InvalidOperators.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/InvalidOperators.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/roundingmodes/RMAttributeInvalid.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/RMAttributeInvalid.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/SameModesEqual.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/SameModesEqual.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/UnaffectedOperators.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/UnaffectedOperators.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/VariableAssign.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/roundingmodes/VariableAssign.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/secure/MultiParty.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/secure/ObliviousTransfer.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/secure/lit.local.cfg: ASCII text data/boogie-2.4.1+dfsg/Test/secure/simple.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/secure/tworound.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/smoke/smoke0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/smoke/smoke0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots0.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots0.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots0.v2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots1.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots1.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots1.v2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots10.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots10.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots11.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots11.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots12.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots12.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots13.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots13.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots14.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots14.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots15.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots15.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots16.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots16.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots17.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots17.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots18.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots18.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots19.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots19.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots2.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots2.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots2.v2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots2.v3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots2.v4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots2.v5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots20.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots20.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots21.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots21.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots22.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots22.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots23.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots23.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots23.v2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots24.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots24.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots25.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots25.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots26.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots26.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots27.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots27.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots28.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots28.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots29.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots29.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots3.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots3.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots30.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots30.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots31.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots31.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots32.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots32.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots33.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots33.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots34.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots34.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots35.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots35.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots36.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots36.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots37.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots37.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots38.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots38.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots38.v2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots39.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots39.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots39.v2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots4.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots4.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots40.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots40.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots40.v2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots41.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots41.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots5.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots5.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots6.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots6.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots7.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots7.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots8.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots8.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots9.v0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/Snapshots9.v1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/lit.local.cfg: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/runtest.AI.snapshot: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/runtest.AI.snapshot.expect: ASCII text data/boogie-2.4.1+dfsg/Test/snapshots/runtest.snapshot: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/snapshots/runtest.snapshot.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar10.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar10.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar11.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar11.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar12.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar12.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar13.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar13.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar3.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar4.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar4.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar6.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar6.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar7.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar7.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar8.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar8.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar9.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/bar9.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/stratifiedinline/large.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/stratifiedinline/large.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/symdiff/foo.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/symdiff/foo.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Arrays0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Arrays1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/AssertVerifiedUnder0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/AssertVerifiedUnder0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/AttributeParsing.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/AttributeParsing.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/AttributeParsingErr.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/AttributeParsingErr.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/AttributeResolution.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/AttributeResolution.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/BadLabels0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/BadLabels0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/BadLabels1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/BadLabels1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/BadQuantifier.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/BadQuantifier.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/EmptyCallArgs.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Irreducible.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Irreducible.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/LargeLiterals0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/LineParse.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/LineParse.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/LineResolve.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/LineResolve.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test0/MapsResolutionErrors.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/MapsResolutionErrors.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/ModifiedBag.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/NoErrors.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Orderings.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Orderings.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/PrettyPrint.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/PrettyPrint.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Prog0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Quoting.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Quoting.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/SeparateVerification0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/SeparateVerification0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/SeparateVerification1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/SeparateVerification1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Triggers0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Triggers0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Triggers1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Triggers1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Types0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Types0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Types1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/Types1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereParsing.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereParsing.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereParsing0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereParsing0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereParsing1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereParsing1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereParsing2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereParsing2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereResolution.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test0/WhereResolution.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Arrays.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Arrays.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test1/AssertVerifiedUnder0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/AssertVerifiedUnder0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/AssumptionVariables0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/AssumptionVariables0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/AssumptionVariables1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/AssumptionVariables1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/AttributeTyping.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/AttributeTyping.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/EmptyCallArgs.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/EmptyCallArgs.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Family.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Family.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Frame0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Frame0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Frame1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Frame1.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test1/FunBody.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/FunBody.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/IfThenElse0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/IfThenElse0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/IntReal.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/IntReal.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test1/Lambda.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Lambda.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/LogicalExprs.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/LogicalExprs.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/MapsTypeErrors.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/MapsTypeErrors.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test1/Orderings.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/Orderings.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/StatementIds0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/StatementIds0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test1/UpdateExprTyping.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/UpdateExprTyping.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test1/WhereTyping.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test1/WhereTyping.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test13/ErrorTraceTestLoopInvViolationBPL.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test13/ErrorTraceTestLoopInvViolationBPL.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test15/CaptureState.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test15/CaptureState.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test15/IntInModel.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test15/IntInModel.bpl.expect: diff output, ASCII text data/boogie-2.4.1+dfsg/Test/test15/InterpretedFunctionTests.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test15/InterpretedFunctionTests.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test15/ModelTest.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test15/ModelTest.bpl.expect: diff output, ASCII text data/boogie-2.4.1+dfsg/Test/test15/NullInModel.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test15/NullInModel.bpl.expect: diff output, ASCII text data/boogie-2.4.1+dfsg/Test/test16/LoopUnroll.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test16/LoopUnroll.bpl.1.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test16/LoopUnroll.bpl.2.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test16/LoopUnroll.bpl.3.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test17/Answer: ASCII text data/boogie-2.4.1+dfsg/Test/test17/contractinfer.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test17/flpydisk.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/test17/lit.local.cfg: ASCII text data/boogie-2.4.1+dfsg/Test/test17/runtest.bat: DOS batch file, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Test/test2/Arrays.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Arrays.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/AssertVerifiedUnder0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/AssertVerifiedUnder0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/AssumeEnsures.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/AssumeEnsures.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/AssumptionVariables0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/AssumptionVariables0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Axioms.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Axioms.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/B.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/B.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/BadLineNumber.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/BadLineNumber.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/BoundedTypeParameterQuantifier.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/test2/BoundedTypeParameterQuantifier.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Call.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Call.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/CallVerifiedUnder0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/CallVerifiedUnder0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/ContractEvaluationOrder.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/ContractEvaluationOrder.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/CutBackEdge.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/CutBackEdge.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Ensures.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Ensures.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/False.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/False.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/FormulaTerm.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/FormulaTerm.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/FormulaTerm2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/FormulaTerm2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/FreeCall.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/FreeCall.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/IfThenElse1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/IfThenElse1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Implies.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Implies.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/InvariantVerifiedUnder0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/InvariantVerifiedUnder0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Lambda.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Lambda.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LambdaExt.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LambdaExt.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LambdaLifting.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LambdaLifting.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LambdaOldExpressions.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LambdaOldExpressions.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LambdaPoly.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LambdaPoly.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LoopInvAssume.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/LoopInvAssume.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/NeverPattern.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/NeverPattern.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/NullaryMaps.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/NullaryMaps.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Old.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Old.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/OldIllegal.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/OldIllegal.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Passification.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Passification.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Quantifiers.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Quantifiers.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Rlimitouts0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/SelectiveChecking.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/SelectiveChecking.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Structured.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Structured.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Timeouts0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Timeouts0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/TypeEncodingM.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/TypeEncodingM.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/UpdateExpr.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/UpdateExpr.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Where.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/Where.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/sk_hack.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test2/sk_hack.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test2/strings-no-where.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/test2/strings-no-where.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test2/strings-where.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/test2/strings-where.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test20/Coercions.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/Coercions.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/EmptySeq.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/EmptySeq.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/ParallelAssignment.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/ParallelAssignment.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/ParallelAssignment2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/ParallelAssignment2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyFuns0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyFuns0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyFuns1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyFuns1.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test20/PolyPolyPoly.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyPolyPoly.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyPolyPoly2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyPolyPoly2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyProcs0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/PolyProcs0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/ProcParamReordering.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/ProcParamReordering.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/Prog0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/Prog0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/Prog1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/Prog1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/Prog2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/Prog2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeDecls0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeDecls0.bpl.expect: CSV text data/boogie-2.4.1+dfsg/Test/test20/TypeDecls1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeDecls1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeSynonyms0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeSynonyms0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeSynonyms0.bpl.print.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeSynonyms1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeSynonyms1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeSynonyms2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeSynonyms2.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test20/TypeSynonyms2.bpl.print.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/BooleanQuantification.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/BooleanQuantification.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/BooleanQuantification.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/BooleanQuantification.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/BooleanQuantification2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/BooleanQuantification2.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/BooleanQuantification2.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/BooleanQuantification2.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Boxing.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Boxing.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Boxing.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Boxing.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Casts.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Casts.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Casts.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Casts.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Coercions2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Coercions2.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Coercions2.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Coercions2.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Colors.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Colors.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Colors.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Colors.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/DisjointDomains.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/DisjointDomains.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/DisjointDomains.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/DisjointDomains.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/DisjointDomains2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/DisjointDomains2.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/DisjointDomains2.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/DisjointDomains2.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/EmptyList.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/EmptyList.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/EmptyList.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/EmptyList.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/EmptySetBug.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/EmptySetBug.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/EmptySetBug.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/EmptySetBug.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Flattening.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Flattening.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Flattening.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Flattening.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/FunAxioms.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/FunAxioms.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/FunAxioms.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/FunAxioms.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/FunAxioms2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/FunAxioms2.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/FunAxioms2.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/FunAxioms2.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/HeapAbstraction.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/HeapAbstraction.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/HeapAbstraction.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/HeapAbstraction.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/HeapAxiom.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/HeapAxiom.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/HeapAxiom.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/HeapAxiom.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples0.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples0.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples0.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples1.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples1.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples1.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples2.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples2.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples2.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples3.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples3.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples3.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples4.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples4.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples4.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples5.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples5.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/InterestingExamples5.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Keywords.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Keywords.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Keywords.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Keywords.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/LargeLiterals0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/LargeLiterals0.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/LargeLiterals0.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/LargeLiterals0.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/LetSorting.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/LetSorting.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/LetSorting.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/LetSorting.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/MapAxiomsConsistency.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/test21/MapAxiomsConsistency.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/MapAxiomsConsistency.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/MapAxiomsConsistency.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/MapOutputTypeParams.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/MapOutputTypeParams.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/MapOutputTypeParams.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/MapOutputTypeParams.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps0.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps0.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps0.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps1.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps1.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps1.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Maps2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/NameClash.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/NameClash.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/NameClash.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/NameClash.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings2.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings2.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings2.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings3.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings3.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings3.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings4.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings4.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Orderings4.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/ParallelAssignment.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/ParallelAssignment.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/ParallelAssignment.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/ParallelAssignment.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/PolyList.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/PolyList.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/PolyList.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/PolyList.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Real.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Real.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Real.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Real.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Triggers0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Triggers0.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Triggers0.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Triggers0.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Triggers1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Triggers1.bpl.a.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Triggers1.bpl.n.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/Triggers1.bpl.p.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test21/test3_AddMethod_conv.bpl: ASCII text, with very long lines data/boogie-2.4.1+dfsg/Test/test7/MultipleErrors.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test7/MultipleErrors.bpl.e1.block.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test7/MultipleErrors.bpl.e1.dag.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test7/MultipleErrors.bpl.e1.local.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test7/MultipleErrors.bpl.e10.dag.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test7/MultipleErrors.bpl.e10.local.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test7/NestedVC.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test7/NestedVC.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/test7/UnreachableBlocks.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/test7/UnreachableBlocks.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/BQueue.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/BQueue.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/Bubble.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/Bubble.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/DivMod.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/DivMod.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/DutchFlag.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/DutchFlag.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/Find.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/Find.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/McCarthy-91.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/McCarthy-91.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/TuringFactorial.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/textbook/TuringFactorial.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/unnecessaryassumes/unnecessaryassumes0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/unnecessaryassumes/unnecessaryassumes0.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/unnecessaryassumes/unnecessaryassumes1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/unnecessaryassumes/unnecessaryassumes1.bpl.expect: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/Answer: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/Boog24.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/bar1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/bar2.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/z3api/bar3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/bar4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/bar6.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog0.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog1.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog10.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog11.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog12.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog13.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog14.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog15.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog16.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog17.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog18.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog19.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog2.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog20.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog21.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog22.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog23.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog25.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog28.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog29.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog3.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog30.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog31.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog34.bpl: C source, ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog35.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog4.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog5.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog6.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog7.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog8.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/boog9.bpl: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/lit.local.cfg: ASCII text data/boogie-2.4.1+dfsg/Test/z3api/runtest.bat: DOS batch file, ASCII text, with very long lines, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/BoogieBuildAndTest.cmd: DOS batch file, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/Code: cannot open `Snippets/Code' (No such file or directory) snippet: cannot open `snippet' (No such file or directory) documentation.xlsx: cannot open `documentation.xlsx' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/How: cannot open `Snippets/How' (No such file or directory) to: cannot open `to' (No such file or directory) use: cannot open `use' (No such file or directory) in: cannot open `in' (No such file or directory) Visual: cannot open `Visual' (No such file or directory) Studio.docx: cannot open `Studio.docx' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/contractassertnonnull.snippet: cannot open `Snippets/contractassertnonnull.snippet' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/contractassertnonnullelem.snippet: cannot open `Snippets/contractassertnonnullelem.snippet' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/contractensuresnonnullelem.snippet: cannot open `Snippets/contractensuresnonnullelem.snippet' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/contractensuresvalret.snippet: cannot open `Snippets/contractensuresvalret.snippet' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/contractensuresvalretNonNullElem.snippet: cannot open `Snippets/contractensuresvalretNonNullElem.snippet' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/contractinvnonnullelem.snippet: cannot open `Snippets/contractinvnonnullelem.snippet' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Code: cannot open `data/boogie-2.4.1+dfsg/Util/Code' (No such file or directory) Snippets/contractrequiresnonnullelem.snippet: cannot open `Snippets/contractrequiresnonnullelem.snippet' (No such file or directory) data/boogie-2.4.1+dfsg/Util/Emacs/boogie-mode.el: Lisp/Scheme program, ASCII text data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService.sln: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/BoogieLanguageService.csproj: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Configuration.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/GlobalSuppressions.cs: ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Grammar.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Guids.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/AuthoringScope.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/Configuration.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/Declaration.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/Declarations.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/IASTResolver.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/IronyLanguageService.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/IronyViewFilter.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/LineScanner.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/Method.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/Methods.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/Package.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/Resolver.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Integration/Source.cs: C++ source, ASCII text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/IronyLanguageServicePackage.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Key.snk: data data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Properties/AssemblyInfo.cs: UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Resources.Designer.cs: C++ source, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/Resources.resx: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/VSPackage.resx: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/VS2010/Boogie/BoogieLanguageService/source.extension.vsixmanifest: XML 1.0 document, UTF-8 Unicode (with BOM) text, with CRLF line terminators data/boogie-2.4.1+dfsg/Util/latex/boogie.sty: LaTeX document, ASCII text data/boogie-2.4.1+dfsg/Util/vim/syntax/boogie.vim: ASCII text data/boogie-2.4.1+dfsg/debian/bin/boogie: POSIX shell script, ASCII text executable data/boogie-2.4.1+dfsg/debian/bin/bvd: POSIX shell script, ASCII text executable data/boogie-2.4.1+dfsg/debian/boogie.1: troff or preprocessor input, UTF-8 Unicode text data/boogie-2.4.1+dfsg/debian/boogie.docs: ASCII text data/boogie-2.4.1+dfsg/debian/boogie.install: ASCII text data/boogie-2.4.1+dfsg/debian/boogie.manpages: ASCII text data/boogie-2.4.1+dfsg/debian/bvd.1: troff or preprocessor input, UTF-8 Unicode text data/boogie-2.4.1+dfsg/debian/changelog: ASCII text data/boogie-2.4.1+dfsg/debian/control: ASCII text data/boogie-2.4.1+dfsg/debian/copyright: ASCII text data/boogie-2.4.1+dfsg/debian/gbp.conf: ASCII text data/boogie-2.4.1+dfsg/debian/libboogie-cil.docs: ASCII text data/boogie-2.4.1+dfsg/debian/libboogie-cil.install: ASCII text data/boogie-2.4.1+dfsg/debian/rules: a /usr/bin/make -f script, ASCII text executable data/boogie-2.4.1+dfsg/debian/source/format: ASCII text data/boogie-2.4.1+dfsg/debian/tests/control: ASCII text data/boogie-2.4.1+dfsg/debian/tests/mccarthy-91: POSIX shell script, ASCII text executable data/boogie-2.4.1+dfsg/debian/tests/mccarthy-92: POSIX shell script, ASCII text executable data/boogie-2.4.1+dfsg/debian/watch: ASCII text data/boogie-2.4.1+dfsg/.pc/.version: ASCII text data/boogie-2.4.1+dfsg/.pc/.quilt_patches: ASCII text data/boogie-2.4.1+dfsg/.pc/.quilt_series: ASCII text data/boogie-2.4.1+dfsg/.pc/applied-patches: empty