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 lists the tools ProvSQL knows about, with their default executable names and a preference order that keeps d4 first among compilers, matching the provsql.fallback_compiler default. See ToolRegistry.h.

Definition in file ToolRegistry.cpp.