From c4772a1dd248d8a057267eaca69e4f6334dd5b04 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 19 Jun 2015 21:23:50 -0400 Subject: [PATCH] Scale up to 4000 for observe-some-* --- observe-some-minimart.rkt | 4 ++-- observe-some-prospect.rkt | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/observe-some-minimart.rkt b/observe-some-minimart.rkt index ebf5c14..f5cfc7f 100644 --- a/observe-some-minimart.rkt +++ b/observe-some-minimart.rkt @@ -37,7 +37,7 @@ (transition (+ count 1) '())] [_ #f])) 0 - (gestalt-union (pub (server id)) + (gestalt-union ;; (pub (server id)) (sub (client) #:level 1)))) (define client-action (spawn-client)) @@ -78,7 +78,7 @@ #;(list 5) (list* 2 5 (let loop ((n 10)) - (if (>= n 2000) + (if (>= n 4000) '() (cons (inexact->exact (round n)) (loop (* n (sqrt (sqrt 2)))))))) diff --git a/observe-some-prospect.rkt b/observe-some-prospect.rkt index b6e897f..c17da03 100644 --- a/observe-some-prospect.rkt +++ b/observe-some-prospect.rkt @@ -34,7 +34,7 @@ (transition (+ count 1) '())] [_ #f])) 0 - (assert (server id)) + ;; (assert (server id)) (assert (observe (client))))) (define client-action (spawn-client)) @@ -75,7 +75,7 @@ #;(list 5) (list* 2 5 (let loop ((n 10)) - (if (>= n 2000) + (if (>= n 4000) '() (cons (inexact->exact (round n)) (loop (* n (sqrt (sqrt 2))))))))