how conformance tests work and why is it morally correct to test in this way

input-output-hk / decentralized-software-updates

Research on a decentralized software update mechanism for blockchain systems

Apache License 2.0

7 stars 2 forks source link

Closed nkarag closed 4 years ago

dnadales commented 4 years ago

We won't be testing with data automata. Property testing is much simpler and faster now.