λgitsite

Give rejected Jerboa drafts more inspection budget

ober

d06dc0eee280fff4a87eabb6b45fde201b7b3114

diff --git a/src/jcode/core/verified-run.ss b/src/jcode/core/verified-run.ss
index eed4e2d..8531e0a 100644
--- a/src/jcode/core/verified-run.ss
+++ b/src/jcode/core/verified-run.ss
@@ -2569,7 +2569,7 @@
 
 (def local-expert-after-rejected-drafts 2)
 
-(def rejected-draft-inspection-limit 2)
+(def rejected-draft-inspection-limit 4)
 
 (def rejected-draft-repeat-threshold 1)
 
diff --git a/test/run.ss b/test/run.ss
index 34f38a2..940582e 100644
--- a/test/run.ss
+++ b/test/run.ss
@@ -10477,7 +10477,7 @@
 	                         (list (cons "path" target)
 	                               (cons "content" bad))
 	                         #f)))
-	                   (list (read-call) (read-call) (read-call))
+	                   (list (read-call) (read-call) (read-call) (read-call) (read-call))
 	                   (list
 	                     (list (make-wtool-call "list" '() #f))
 	                     (list