Skip to content
Snippets Groups Projects
basic-pgms-zafl.sh 792 B
Newer Older
#!/bin/bash
set -e
set -x

Anh Nguyen-Tuong's avatar
Anh Nguyen-Tuong committed
	env
	pwd
	ls -lt /tmp
		
	# source PEASOUP env vars
	cd $CICD_MODULE_WORK_DIR/zafl_test
Anh Nguyen-Tuong's avatar
Anh Nguyen-Tuong committed

	# source ZAFL env vars
	cd /tmp/zafl_tmp
	source set_env_vars
Anh Nguyen-Tuong's avatar
Anh Nguyen-Tuong committed

	cd $PEASOUP_HOME/tests; make clean; 

	if [[ $CICD_NIGHTLY == 1 ]] ; then
		benchmarks="tcpdump ncal bzip2 tar"
Anh Nguyen-Tuong's avatar
Anh Nguyen-Tuong committed
		configs="zafl_nostars zafl_untracer_critical_edges zafl_context_sensitive_laf_domgraph_optgraph"
		benchmarks="readelf touch"
Anh Nguyen-Tuong's avatar
Anh Nguyen-Tuong committed
		configs="zafl_untracer_critical_edges zafl_context_sensitive_laf_domgraph_optgraph"
	# test other zafl configs on various apps
	./test_cmds.sh -c "$configs" -a "$benchmarks" -l 
	# zafl-specific test stressing compiler options
	cd $ZAFL_HOME/test/eightqueens
	./test_8q.sh