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
archetype auction_no_memory
variable bid : tez = 0tz
variable incumbent : address = @fake_address
variable deadline : date = 2019-01-01T00:00:00
action place_bid (id : address, b : tez) {
require {
c1 : now < deadline;
c2 : b > bid;
}
effect {
incumbent := caller;
bid := transferred
}
}