1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Core/Searcher.h b/lib/Core/Searcher.h
index 36efe67a..07fee8ca 100644
--- a/lib/Core/Searcher.h
+++ b/lib/Core/Searcher.h
@@ -67,6 +67,7 @@ namespace klee {
       RandomPath,
       NURS_CovNew,
       NURS_MD2U,
+      NURS_Patch,
       NURS_Depth,
       NURS_RP,
       NURS_ICnt,
@@ -131,6 +132,7 @@ namespace klee {
       QueryCost,
       InstCount,
       CPInstCount,
+      PatchLocCount,
       MinDistToUncovered,
       CoveringNew
     };