From 1f6b0f10f6cbe063b5e3bb9c281ad8cf9444dd6b Mon Sep 17 00:00:00 2001 From: rtrimana Date: Thu, 26 Sep 2019 14:04:01 -0700 Subject: [PATCH] Adding the option to activate beam search: a HeuristicSearch with a state queue that is reset at each level. --- main.jpf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/main.jpf b/main.jpf index 0e2f8e1..da1b57f 100644 --- a/main.jpf +++ b/main.jpf @@ -35,13 +35,13 @@ apps=App1,App2 # Debug mode for StateReducer debug_state_transition=true -activate_state_reduction=false +activate_state_reduction=true # Timeout in minutes (default is 0 which means no timeout) timeout=30 -#search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic -#choice.seed = 3 +search.class = gov.nasa.jpf.search.heuristic.RandomHeuristic +search.heuristic.beam_search=true #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