"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/scripts/runDomainTests" between
rose-0.11.53.0.tar.gz and rose-0.11.54.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

runDomainTests  (rose-0.11.53.0):runDomainTests  (rose-0.11.54.0)
#!/bin/bash #!/bin/bash
# exit immediately with ctrl-c # exit immediately with ctrl-c
trap "exit" INT trap "exit" INT
red=$'\e[1;31m' red=$'\e[1;31m'
grn=$'\e[1;32m' grn=$'\e[0;32m'
yel=$'\e[1;33m' yel=$'\e[0;33m'
blu=$'\e[1;34m' blu=$'\e[0;34m'
mag=$'\e[1;35m' mag=$'\e[0;35m'
cyn=$'\e[1;36m' cyn=$'\e[0;36m'
end=$'\e[0m' end=$'\e[0m'
COLORED_FAIL=${red}FAIL${end} COLORED_FAIL=${red}FAIL${end}
COLORED_WARN=${yel}WARN${end} COLORED_WARN=${yel}WARN${end}
COLORED_PASS=${grn}PASS${end} COLORED_PASS=${grn}PASS${end}
TESTDIR="" TESTDIR=""
SHOW_OUTPUT="no" SHOW_OUTPUT="no"
KEEP_RESULTS="no" KEEP_RESULTS="no"
skipping to change at line 70 skipping to change at line 70
GCC_OUTPUT_FILE="${CT_OUTPUT_FILE}.check" GCC_OUTPUT_FILE="${CT_OUTPUT_FILE}.check"
if [ -f $TESTDIR/${benchmarkname}.testinput ]; then if [ -f $TESTDIR/${benchmarkname}.testinput ]; then
# run with test input from file # run with test input from file
./$EXEFILE > $GCC_OUTPUT_FILE < $TESTDIR/${benchmarkname}.te stinput ./$EXEFILE > $GCC_OUTPUT_FILE < $TESTDIR/${benchmarkname}.te stinput
else else
./$EXEFILE > $GCC_OUTPUT_FILE ./$EXEFILE > $GCC_OUTPUT_FILE
fi fi
DIFF=$(diff $GCC_OUTPUT_FILE $CT_OUTPUT_FILE) DIFF=$(diff $GCC_OUTPUT_FILE $CT_OUTPUT_FILE)
if [ "$DIFF" != "" ] if [ "$DIFF" != "" ]
then then
echo $COLORED_WARN echo "$COLORED_WARN"
((numWarn++)) ((numWarn++))
else else
echo $COLORED_PASS echo "$COLORED_PASS"
((numPass++)) ((numPass++))
fi fi
if [[ "$KEEP_RESULTS" == "no" ]];then if [[ "$KEEP_RESULTS" == "no" ]];then
rm -f $GCC_OUTPUT_FILE rm -f $GCC_OUTPUT_FILE
rm -f $EXEFILE rm -f $EXEFILE
fi fi
fi fi
done done
done done
printStats printStats
skipping to change at line 114 skipping to change at line 114
echo "$COLORED_PASS" echo "$COLORED_PASS"
((numPass++)) ((numPass++))
fi fi
done done
done done
printStats printStats
} }
function level3Test { function level3Test {
testNumbers=`echo {001..048}` testNumbers=`echo {001..048}`
testNumbers+=" 051"
numWarnExpected=7 numWarnExpected=7
numFailExpected=0 numFailExpected=0
CT_MODE_OPTIONS="--context-sensitive=yes --normalize-level=2 --interpreter-m ode=1 --in-state-string-literals --exploration-mode=topologic-sort" CT_MODE_OPTIONS="--context-sensitive=yes --normalize-level=2 --interpreter-m ode=1 --in-state-string-literals --exploration-mode=topologic-sort"
echo -n "Level 3 (interpreter mode): " echo -n "Level 3 (interpreter mode): "
runDomainTestsLevel3 runDomainTestsLevel3
} }
function level2BasicCombineTest { function level2BasicCombineTest {
# 49,50 require abstraction mode # 49,50 require abstraction mode
testNumbers=`echo {049..050}` testNumbers=`echo {049..050}`
skipping to change at line 143 skipping to change at line 144
numWarnExpected=0 numWarnExpected=0
numFailExpected=0 numFailExpected=0
CT_MODE_OPTIONS="--context-sensitive=yes --normalize-level=2 --interpreter-m ode=0 --in-state-string-literals --exploration-mode=topologic-sort --abstraction -mode=1 --array-abstraction-index=2 --pointer-sets=off" CT_MODE_OPTIONS="--context-sensitive=yes --normalize-level=2 --interpreter-m ode=0 --in-state-string-literals --exploration-mode=topologic-sort --abstraction -mode=1 --array-abstraction-index=2 --pointer-sets=off"
echo echo
echo -n "Level 2 (abstraction mode, array abstraction index=2): " echo -n "Level 2 (abstraction mode, array abstraction index=2): "
runDomainTestsLevel2 runDomainTestsLevel2
} }
function level2AvSetCombineTest { function level2AvSetCombineTest {
# av-sets abstraction test # av-sets abstraction test
testNumbers=`echo {001..050}` #testNumbers=`echo {001..050}`
testNumbers="008" testNumbers="008"
numWarnExpected=0 numWarnExpected=0
numFailExpected=24 numFailExpected=24
CT_MODE_OPTIONS="--context-sensitive=yes --normalize-level=2 --interpreter-m ode=0 --in-state-string-literals=0 --exploration-mode=topologic-sort --abstracti on-mode=1 --array-abstraction-index=0 --pointer-sets=on --vis --tg1-memory-subgr aphs" CT_MODE_OPTIONS="--context-sensitive=yes --normalize-level=2 --interpreter-m ode=0 --in-state-string-literals=0 --exploration-mode=topologic-sort --abstracti on-mode=1 --array-abstraction-index=0 --pointer-sets=on --vis --tg1-memory-subgr aphs"
echo echo
echo -n "Level 2 (abstraction mode, array abstraction index=0, av-sets): " echo -n "Level 2 (abstraction mode, array abstraction index=0, av-sets): "
runDomainTestsLevel2 runDomainTestsLevel2
} }
function printHelp { function printHelp {
 End of changes. 5 change blocks. 
8 lines changed or deleted 9 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)