trying this

Author: lrvideckis

tests/library_checker_aizu_tests/edge_cd_asserts.hpp

@@ -1,6 +1,6 @@
 #pragma once
-void edge_cd_asserts(const vector<vector<int>>& adj,
-  int cent, int split) {
+void edge_cd_asserts(const vector<vi>& adj, int cent,
+  int split) {
   assert(0 < split && split < sz(adj[cent]));
   auto dfs = [&](auto&& self, int u, int p) -> int {
     int siz = 1;

tests/library_checker_aizu_tests/trees/edge_cd_reroot_dp.test.cpp

@@ -17,13 +17,16 @@ int main() {
   vector<basic_string<int>> adj(n);
   vector<mint> b(n - 1), c(n - 1);
   vector<pair<int, int>> par(n, {-1, -1});
+  vector<vector<int>> base_adj(n);
   {
     vector<vector<pair<int, int>>> adj_with_id(n);
     for (int i = 0; i < n - 1; i++) {
       int u, v;
       cin >> u >> v >> b[i].x >> c[i].x;
       adj[u].push_back(v);
       adj[v].push_back(u);
+      base_adj[u].push_back(v);
+      base_adj[v].push_back(u);
       adj_with_id[u].emplace_back(v, i);
       adj_with_id[v].emplace_back(u, i);
       res[u] = res[u] + b[i] * a[v] + c[i];
@@ -42,7 +45,7 @@ int main() {
     assert(u_low ^ v_low);
     return u_low ? par[u].second : par[v].second;
   };
-  //{ edge_cd(adj, edge_cd_asserts); }
+  { edge_cd(base_adj, edge_cd_asserts); }
   edge_cd(adj,
     [&](const vector<basic_string<int>>& cd_adj, int cent,
       int split) -> void {