Clarify what tool-specific options are (Forward port of #3444 from b0.72 to main)#3462

Merged

ndokos merged 1 commit intodistributed-system-analysis:mainfrom ndokos:fwd-port-3444

Jul 3, 2023

+130-232

Commits on Jul 3, 2023

Clarify what tool-specific options are (distributed-system-analysis#3444 )
ndokos
committed