-
Lionel GUEZ authored
Use `e_overestim.txt` instead of `node_id_param.json`. Since commit 43d2eff6, we wrote only `e_overestim` to the JSon file. Simpler to write the value alone in a text file.
Lionel GUEZ authoredUse `e_overestim.txt` instead of `node_id_param.json`. Since commit 43d2eff6, we wrote only `e_overestim` to the JSon file. Simpler to write the value alone in a text file.