Path	Lines of Code
Sources/SolToBoogieTest/CorralConfiguration.cs	18
Sources/SolToBoogieTest/Program.cs	61
Sources/SolToBoogieTest/RegressionExecutor.cs	246