defreach experiment

[IRC.git] / Robust / src / buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 4ea2b894da3c7f6cc4b4d7b8300cf5607f01ac84..b797433aeb4c6273c11c158c00fd693f48904e20 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -51,6 +51,7 @@ echo -disjoint-dvisit-pqueue use prio. q strat to visit descriptors
 echo -disjoint-desire-determinism set above interproc for determinism
 echo -disjoint-debug-scheduling debug when methods are scheduled for analysis
 echo -do-definite-reach-analysis enable improved precision for disjoint reachability analysis
+echo -count-visits for counting visits in the fixed point algorithm to evaluate convergence behavior
 echo
 echo -pointsto-check-v-runtime check allocation site of pointer targets at runtime to help verify heap analysis results
 echo