Closed smartcontracts closed 6 years ago
We're developing increasingly complex tests with intricate setups. It makes sense to start thinking about a testing language, similar to the one in cbc-casper.
@DavidKnott suggested that a test vector in this language could look somewhat like:
Deposit1[Owner1, Amount1] Transfer1[Deposit1, Owner2, Amount1] Withdraw[Transfer1, Owner2]
This basically means that we could design a single set of test vectors to be parsed/tested by each implementation.
Closed by #92
smartcontracts
commented
6 years ago
We're developing increasingly complex tests with intricate setups. It makes sense to start thinking about a testing language, similar to the one in cbc-casper.
@DavidKnott suggested that a test vector in this language could look somewhat like:
Deposit1[Owner1, Amount1] Transfer1[Deposit1, Owner2, Amount1] Withdraw[Transfer1, Owner2]This basically means that we could design a single set of test vectors to be parsed/tested by each implementation.