syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fix bug in LLL two-buyer

This commit is contained in:
Sam Caldwell 2016-08-03 14:19:08 -04:00
parent c9ae956bd2
commit 73f180d90a
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
racket/syndicate/examples/two-buyer-protocol-incremental.rkt
View File

@ -152,8 +152,8 @@
(list (patch-seq (unsub (split-proposal title price ? ?))
(sub (split-proposal title price my-contribution ?)))))]))])]
[_ #f]))
(/ price 2)
(list (sub (split-proposal title price (/ price 2) ?))))]))
initial-offer
(list (sub (split-proposal title price initial-offer ?))))]))
(try-to-buy titles budget))
(define (buyer-b funds)

4
racket/syndicate/examples/two-buyer-protocol-monolithic.rkt
View File

@ -154,8 +154,8 @@
(transition my-contribution
(list (scn (assertion (observe (split-proposal title price my-contribution ?))))))]))])]
[_ #f]))
(/ price 2)
(list (scn (assertion (observe (split-proposal title price (/ price 2) ?))))))]))
initial-offer
(list (scn (assertion (observe (split-proposal title price initial-offer ?))))))]))
(try-to-buy titles budget))
(define (buyer-b funds)