Path	Lines of Code
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