ToolRegistry.cpp File Reference

Seed and mutation logic for the external-tool registry. More...

#include "ToolRegistry.h"
#include <algorithm>

Include dependency graph for ToolRegistry.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Detailed Description

Seed and mutation logic for the external-tool registry.

The seed mirrors exactly the tools ProvSQL has always known about, with their default executable names and a preference order that keeps the historical selection (d4 first among compilers, matching the provsql.fallback_compiler default). See ToolRegistry.h.

Definition in file ToolRegistry.cpp.