Test Case Generation - Githubissues

hengxin / tla-causal-consistency

TLA+ Specification of Variants of Causal Consistency

MIT License

6 stars 0 forks source link

Test Case Generation #5

Open hengxin opened 3 years ago

hengxin commented 3 years ago

[ ] Generate histories that are causally consistent
[ ] Generate histories that are not causally consistent