Sources/SolToBoogieTest/Program.cs
Sources/VeriSol/Program.cs

Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/VeriSol/Program.cs

Sources/SolToBoogieTest/RegressionExecutor.cs
Sources/VeriSol/VeriSolExecuter.cs