Path	Lines of Code
Sources/BoogieAST/BoogieAST.csproj	10
Sources/ExternalToolsManager/ExternalToolsManager.csproj	21
Sources/SolToBoogie/SolToBoogie.csproj	16
Sources/SolToBoogieTest/SolToBoogieTest.csproj	20
Sources/SolidityAST/SolidityAST.csproj	16
Sources/SolidityCFG/SolidityCFG.csproj	13
Sources/VeriSol/VeriSol.csproj	37