Commit Graph

110 Commits (5dede0f3617ed18c06c400b76f925e7eab622513)

Author SHA1 Message Date
rishflab 697e1195cd Fix Cargo.toml fmt 4 years ago
rishflab a759f39b1d Fix module ambiguity in tests 4 years ago
rishflab 36ed3a0b8b Rename ImportOutput to reflect purpose 4 years ago
rishflab 213034dc1f Remove unused clone from states 4 years ago
rishflab 25edd90fb0 Remove empty lines between imports 4 years ago
rishflab 4e031ff9a2 Loop on blockchain call instead of delaying
Previously there was a delay making a get raw transaction call to
give some time for a transaction to be confirmed on the blockchain.
This has been replaced with a loop that waits until the call is
succesful.
4 years ago
rishflab f6f4ec2bdb Fix dependencies 4 years ago
rishflab 148e49a959 Remove redundant lifetime parameter 4 years ago
rishflab 8754a9931b Execute Alice and Bob state machines concurrently
Previously we were testing the protocol by manually driving Alice and
Bob's state machines. This logic has now be moved to an async state
transition function that can take any possible state as input. The
state transition function is called in a loop until it returns the
desired state. This allows use to interrupt midway through the protocol
and perform refund and punish tests. This design was chosen over a
generator based implementation because the the generator based
implementation results in a impure state transition function that is
difficult to reason about and prone to bugs.

Test related code was extracted into the tests folder.

The 2b and 4b states were renamed to be consistent with the rest.

Macros were used to reduce code duplication when converting
child states to their parent states and vice versa.

Todos were added were neccessary.
4 years ago
Lucas Soriano del Pino 1f99cf001c Swap Monero for Bitcoin
Co-authored-by: rishflab <rishflab@hotmail.com>
Co-authored-by: Philipp Hoenisch <philipp@hoenisch.at>
Co-authored-by: Tobin C. Harding <tobin@coblox.tech>
4 years ago