Skip to content

Instantly share code, notes, and snippets.

@DaGeRe
Created September 11, 2023 09:13
Show Gist options
  • Select an option

  • Save DaGeRe/7421a16d4d7597d78190f55af50d5a61 to your computer and use it in GitHub Desktop.

Select an option

Save DaGeRe/7421a16d4d7597d78190f55af50d5a61 to your computer and use it in GitHub Desktop.
Checks out different MooBench branches and runs the variants
if [ -z "${DISL_HOME}" ]; then
echo "\$DISL_HOME needs to be defined."
exit 1
fi
echo "======="
echo "SI"
git checkout optimization-sourceInstrumentation
./setup.sh &> setup_si.txt
cd frameworks/Kieker-java
./runExponentialSizes.sh
mv exp-results ../SI-exp-results
cd ../../
echo "======="
echo "AspectJ"
git checkout Kieker-1.15.2-OperationExecutionRecord
./setup.sh &> setup_aspectj.txt
cd frameworks/Kieker-java
./runExponentialSizes.sh
mv exp-results ../AspectJ-exp-results
cd ../../
echo "======="
echo "DiSL"
git checkout disl
./setup.sh &> setup_disl.txt
cd frameworks/Kieker-java-DiSL
./runExponentialSizes.sh
mv exp-results ../DiSL-exp-results
cd ../../
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment