"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/scripts/runDomainTests" between
rose-0.11.49.0.tar.gz and rose-0.11.50.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.49.0):runDomainTests  (rose-0.11.50.0)
skipping to change at line 20 skipping to change at line 20
mag=$'\e[1;35m' mag=$'\e[1;35m'
cyn=$'\e[1;36m' cyn=$'\e[1;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"
function printHeader { function printHeader {
echo "------------------------------------------------" echo "------------------------------------------------"
echo "running DOMAIN TESTS" echo "running DOMAIN TESTS"
echo "------------------------------------------------" echo "------------------------------------------------"
} }
function printStats { function printStats {
echo "PASS: $numPass, WARN: $numWarn (expected: $numWarnExpected), FAIL: $nu mFail (expected: $numFailExpected)" echo "PASS: $numPass, WARN: $numWarn (expected: $numWarnExpected), FAIL: $nu mFail (expected: $numFailExpected)"
if [ $numWarn -gt $numWarnExpected ]; then if [ $numWarn -gt $numWarnExpected ]; then
skipping to change at line 75 skipping to change at line 76
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
rm -f $GCC_OUTPUT_FILE if [[ "$KEEP_RESULTS" == "no" ]];then
rm -f $EXEFILE rm -f $GCC_OUTPUT_FILE
rm -f $EXEFILE
fi
fi fi
done done
done done
printStats printStats
} }
function runDomainTestsLevel2 { function runDomainTestsLevel2 {
echo "Scheduled tests: $testNumbers" echo "Scheduled tests: $testNumbers"
numPass=0 numPass=0
numWarn=0 numWarn=0
skipping to change at line 141 skipping to change at line 144
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"
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 --exploration-mode=topologic-sort --abstraction -mode=1 --array-abstraction-index=0 --pointer-sets=on" 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 {
echo echo
echo "Command line options:" echo "Command line options:"
echo "--l3 : level3 interpreter-mode tests" echo "--l3 : level3 interpreter-mode tests"
echo "--l2basic : level2 tests with basic combination operator" echo "--l2basic : level2 tests with basic combination operator"
skipping to change at line 193 skipping to change at line 197
;; ;;
--testdir) --testdir)
TESTDIR=$2 TESTDIR=$2
shift shift
shift shift
;; ;;
--show-errors) --show-errors)
SHOW_OUTPUT="yes" SHOW_OUTPUT="yes"
shift shift
;; ;;
--keep-results)
KEEP_RESULTS=yes
shift
;;
--help) --help)
printHelp printHelp
shift shift
exit exit
;; ;;
*) *)
echo "runDomainTests: unknown command $key." echo "runDomainTests: unknown command $key."
exit 1 exit 1
esac esac
done done
 End of changes. 5 change blocks. 
3 lines changed or deleted 11 lines changed or added

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