Path	Lines of Code
Sources/BoogieAST/BoogieAST.cs	1181
Sources/BoogieAST/TestMain.cs	11
Sources/ExternalToolsManager/DotnetCliToolManager.cs	82
Sources/ExternalToolsManager/DownloadedToolManager.cs	173
Sources/ExternalToolsManager/ExternalToolsManager.cs	48
Sources/ExternalToolsManager/SolcManager.cs	24
Sources/ExternalToolsManager/ToolManager.cs	64
Sources/ExternalToolsManager/ToolSourceSettings.cs	18
Sources/SolToBoogie/BoogieTranslator.cs	68
Sources/SolToBoogie/ConstructorCollector.cs	31
Sources/SolToBoogie/ContractCollector.cs	18
Sources/SolToBoogie/FallbackGenerator.cs	158
Sources/SolToBoogie/FunctionEventCollector.cs	36
Sources/SolToBoogie/FunctionEventResolver.cs	98
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs	611
Sources/SolToBoogie/HarnessGenerator.cs	330
Sources/SolToBoogie/HoudiniHelper.cs	66
Sources/SolToBoogie/InheritanceCollector.cs	26
Sources/SolToBoogie/MapArrayCollector.cs	37
Sources/SolToBoogie/MapArrayHelper.cs	125
Sources/SolToBoogie/ModSetAnalysis.cs	167
Sources/SolToBoogie/ModifierCollector.cs	93
Sources/SolToBoogie/ParseUtils.cs	157
Sources/SolToBoogie/ProcedureTranslator.cs	3056
Sources/SolToBoogie/ResolutionHelper.cs	59
Sources/SolToBoogie/RevertLogicGenerator.cs	479
Sources/SolToBoogie/SolidityDesugaring.cs	281
Sources/SolToBoogie/SourceInfoCollector.cs	99
Sources/SolToBoogie/StateVariableCollector.cs	26
Sources/SolToBoogie/StateVariableResolver.cs	92
Sources/SolToBoogie/TransUtils.cs	799
Sources/SolToBoogie/TranslatorContext.cs	441
Sources/SolToBoogie/TranslatorFlags.cs	57
Sources/SolToBoogie/UsingCollector.cs	37
Sources/SolToBoogieTest/CorralConfiguration.cs	18
Sources/SolToBoogieTest/Program.cs	61
Sources/SolToBoogieTest/RegressionExecutor.cs	246
Sources/SolidityAST/BasicASTVisitor.cs	106
Sources/SolidityAST/CompilerOutput.cs	48
Sources/SolidityAST/IASTGenericVisitor.cs	53
Sources/SolidityAST/IASTVisitor.cs	99
Sources/SolidityAST/NodeMapper.cs	28
Sources/SolidityAST/RegressionExecutor.cs	141
Sources/SolidityAST/SolidityAST.cs	1474
Sources/SolidityAST/SolidityCompiler.cs	67
Sources/SolidityAST/TestMain.cs	35
Sources/SolidityAST/Utils.cs	17
Sources/SolidityCFG/CFGBuilder.cs	157
Sources/SolidityCFG/CFGNodeFactory.cs	16
Sources/SolidityCFG/SolidityCFG.cs	104
Sources/SolidityCFG/TestMain.cs	68
Sources/VeriSol.props	14
Sources/VeriSol/Program.cs	98
Sources/VeriSol/VeriSolExecuter.cs	383
azure-pipelines.yml	36