13 |
# STAF=staf |
# STAF=staf |
14 |
|
|
15 |
AD_TAMC_FLAGS='-reverse -admark ad -i4 -r4' |
AD_TAMC_FLAGS='-reverse -admark ad -i4 -r4' |
16 |
AD_TAF_FLAGS='-reverse -admark ad -i4 -r4 \ |
AD_TAF_FLAGS='-reverse -admark ad -i4 -r4 -l taf_ad.log -flow taf_ad_flow.log -nonew_arg' |
|
-l taf_ad.log -flow taf_ad_flow.log -nonew_arg' |
|
17 |
FTL_TAMC_FLAGS='-forward -ftlmark g_ -i4 -r4' |
FTL_TAMC_FLAGS='-forward -ftlmark g_ -i4 -r4' |
18 |
FTL_TAF_FLAGS='-forward -ftlmark g_ -i4 -r4 \ |
FTL_TAF_FLAGS='-forward -ftlmark g_ -i4 -r4 -l taf_ftl.log -flow taf_ftl_flow.log -nonew_arg' |
|
-l taf_ftl.log -flow taf_ftl_flow.log -nonew_arg' |
|
19 |
SVD_TAMC_FLAGS='-reverse -forward -pure -i4 -r4' |
SVD_TAMC_FLAGS='-reverse -forward -pure -i4 -r4' |
20 |
SVD_TAF_FLAGS='-reverse -forward -pure -i4 -r4 \ |
SVD_TAF_FLAGS='-reverse -forward -pure -i4 -r4 -flow taf_flow.log -nonew_arg' |
|
-flow taf_flow.log -nonew_arg' |
|
21 |
|
|
22 |
DIFF_FLAGS="-toplevel 'the_main_loop' \ |
DIFF_FLAGS="-toplevel 'the_main_loop' \ |
23 |
-input 'xx_theta_dummy \ |
-input 'xx_theta_dummy \ |