16 |
TAMC=tamc |
TAMC=tamc |
17 |
|
|
18 |
AD_TAMC_FLAGS='-reverse -admark ad -i4 -r4 -l tamc_ad.log' |
AD_TAMC_FLAGS='-reverse -admark ad -i4 -r4 -l tamc_ad.log' |
19 |
AD_TAF_FLAGS='-version 1.9.8 -z -reverse -admark ad -i4 -r4 -l taf_ad.log -flow taf_ad_flow.log -nonew_arg' |
AD_TAF_FLAGS='-z -reverse -admark ad -i4 -r4 -l taf_ad.log -flow taf_ad_flow.log -nonew_arg' |
20 |
FTL_TAMC_FLAGS='-forward -ftlmark g_ -i4 -r4 -l tamc_ftl.log' |
FTL_TAMC_FLAGS='-forward -ftlmark g_ -i4 -r4 -l tamc_ftl.log' |
21 |
FTL_TAF_FLAGS='-z -forward -ftlmark g_ -i4 -r4 -l taf_ftl.log -flow taf_ftl_flow.log -nonew_arg' |
FTL_TAF_FLAGS='-z -forward -ftlmark g_ -i4 -r4 -l taf_ftl.log -flow taf_ftl_flow.log -nonew_arg' |
22 |
SVD_TAMC_FLAGS='-reverse -forward -pure -i4 -r4 -l tamc_svd.log' |
SVD_TAMC_FLAGS='-reverse -forward -pure -i4 -r4 -l tamc_svd.log' |