From 982787138eda8ed4c7bfaf5c5a2a78b56aa1ed49 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Fri, 2 Aug 2019 14:58:31 -0700 Subject: [PATCH] Adding new stuff to main.jpf. --- main.jpf | 3 +++ 1 file changed, 3 insertions(+) diff --git a/main.jpf b/main.jpf index 7b9a3ad..e8e8474 100644 --- a/main.jpf +++ b/main.jpf @@ -28,4 +28,7 @@ apps=App1,App2 # Timeout in minutes (default is 0 which means no timeout) timeout=3 +#search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic #search.class = gov.nasa.jpf.search.heuristic.UserHeuristic +#search.class = gov.nasa.jpf.search.heuristic.BFSHeuristic +#search.class = gov.nasa.jpf.search.heuristic.DFSHeuristic -- 2.34.1