Fix Nodes, Leaves, Depth vs Nodes, Edges, States headers in reports

This commit is contained in:
2024-04-21 11:05:12 +02:00
parent 1caa39c071
commit 33cfb78554
5 changed files with 17 additions and 3 deletions

View File

@@ -15,6 +15,10 @@ namespace platform {
{Symbols::cross, "Less than or equal to ZeroR"},
{Symbols::upward_arrow, oss.str()}
};
auto env = DotEnv();
nodes_label = env.get("nodes");
leaves_label = env.get("leaves");
depth_label = env.get("depth");
}
std::string ReportBase::fromVector(const std::string& key)
{