static ExternalToolsManager()
{
logger = new LoggerFactory().AddConsole(LogLevel.Information).CreateLogger("VeriSol.ExternalToolsManager");
IConfiguration toolSourceConfig = new ConfigurationBuilder()
.AddJsonFile("toolsourcesettings.json", true, true)
.Build();
var solcSourceSettings = new ToolSourceSettings();
toolSourceConfig.GetSection("solc").Bind(solcSourceSettings);
Solc = new SolcManager(solcSourceSettings);
var z3SourceSettings = new ToolSourceSettings();
toolSourceConfig.GetSection("z3").Bind(z3SourceSettings);
Z3 = new DownloadedToolManager(z3SourceSettings);
var boogieSourceSettings = new ToolSourceSettings();
toolSourceConfig.GetSection("boogie").Bind(boogieSourceSettings);
Boogie = new DotnetCliToolManager(boogieSourceSettings);
var corralSourceSettings = new ToolSourceSettings();
toolSourceConfig.GetSection("corral").Bind(corralSourceSettings);
Corral = new DotnetCliToolManager(corralSourceSettings);
}
internal DownloadedToolManager(ToolSourceSettings settings) : base(settings)
{
}
internal DotnetCliToolManager(ToolSourceSettings settings) : base(settings)
{
}
internal ToolManager(ToolSourceSettings settings)
{
this.settings = settings;
}
