diff --git a/tests/spec/Makefile b/tests/spec/Makefile index dfc335c98716cd3a6eaf6dd4bf8e24a74e79c851..ea31c0a7b233cf1d56afa0f5784bd1af829b1746 100644 --- a/tests/spec/Makefile +++ b/tests/spec/Makefile @@ -3,6 +3,7 @@ progs=bzip_black.peasoup mcf_black.peasoup libquantum_black.peasoup sjeng_black. ps_analyze_flags=" --step ilr=off\ --step stratafy_with_pc_confine=on\ --step create_binary_script=on\ + --step watchdog=off\ --step heaprand=off\ --step concolic=off\ --step double_free=off\