diff options
Diffstat (limited to 'gvpr/subg-fwd')
| -rwxr-xr-x[-rw-r--r--] | gvpr/subg-fwd | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gvpr/subg-fwd b/gvpr/subg-fwd index 8950fa5c..c4072130 100644..100755 --- a/gvpr/subg-fwd +++ b/gvpr/subg-fwd @@ -1,7 +1,8 @@ +#!/usr/bin/gvpr -f // Compute the forward partition of the chosen function // -// Run with graph ... | gvpr -f return-paths | gvpr -f subg-fwd -a functionname -// or graph ... | gvpr -f subg-fwd +// Run with graph ... | return-paths | subg-fwd -a functionname +// or graph ... | subg-fwd BEGIN { |