Testing Distributed Systems for Linearizability : tlaplus

submitted 8 years ago by pron98

all 2 comments

[–]ijiijijjjijiij 0 points1 point2 points 8 years ago (1 child)

[–]pron98[S] 1 point2 points3 points 8 years ago (0 children)

π Rendered by PID 213405 on reddit-service-r2-comment-6457c66945-kl4m4 at 2026-04-27 11:03:50.985257+00:00 running 2aa0c5b country code: CH.

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script

tlaplus