No memory
Most basic auction process
This is the most basic version of an auction process. It does not memorise who bid what.
auction_no_memory.arl
1
archetype auction_no_memory
2
3
variable bid : tez = 0tz
4
variable incumbent : address = @tz1Lc2qBKEWCBeDU8npG6zCeCqpmaegRi6Jg
5
6
variable deadline : date = 2019-01-01T00:00:00
7
8
entry place_bid (id : address, b : tez) {
9
require {
10
c1 : now < deadline;
11
c2 : b > bid;
12
}
13
14
effect {
15
incumbent := caller;
16
bid := transferred
17
}
18
}
19
Copied!
Last modified 1yr ago
Export as PDF
Copy link