Use dune_add_test properly
Cleanup the usage of dune_add_test
by properly passing parameters
Cleanup the usage of dune_add_test
by properly passing parameters
Merge details
You are the expert here. Will merge.
merged
mentioned in commit 55afb8cb