Introduce an "ID" method to the tool interface#122

Merged

bauersimon merged 1 commit intomainfrom

May 16, 2024

Commits on May 16, 2024

Introduce an "ID" method to the tool interface, so the tools can be addressed deterministically instead of using the "BinaryName" method
Rui Azevedo
committed