hengxin / tla-causal-consistency

TLA+ Specification of Variants of Causal Consistency

MIT License

6 stars 0 forks source link

TLC Issues #10

Open hengxin opened 3 years ago

hengxin commented 3 years ago

Evaluate Constant Expressions

[ ] PrintT("..."): print more than expected
[ ] VARIABLE/CONSTANT x: needed to run evaluate constant expressions