From edd39c68fb291f8bb4a811a9ba2a60338adf479e Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <mcsinyx@disroot.org>
Date: Thu, 22 Jun 2023 16:05:59 +0900
Subject: Add search heuristic for patch locations

---
 lib/Core/Searcher.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/Core/Searcher.h')

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
     };
-- 
cgit 1.4.1