You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When checking for memory leaks in test_file.g, I run valgrind --trace-children=yes --leak-check=full gap test_file.g. It'd be nice to be able to pass a command that should be prepended to the variable $GAP. In this example, this would be invoked with something like
Joseph-Edwards
changed the title
Add a pre-gap input to allow for gap to be run within a different tool.
Feature request: Add a pre-gap input to allow for gap to be run within a different tool
Apr 24, 2024
When checking for memory leaks in
test_file.g
, I runvalgrind --trace-children=yes --leak-check=full gap test_file.g
. It'd be nice to be able to pass a command that should be prepended to the variable$GAP
. In this example, this would be invoked with something likeThe text was updated successfully, but these errors were encountered: