We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1387b9a commit 138ecdeCopy full SHA for 138ecde
README.md
@@ -91,12 +91,12 @@ val StoreBuffering = litmusTest(::StoreBufferingState) {
91
accept(listOf(0 to 1, 1 to 0, 1 to 1))
92
interesting(listOf(0 to 0))
93
}
94
- reset {
95
- x = 0
96
- y = 0
97
- r1 = 0
98
- r2 = 0
99
- }
+ reset {
+ x = 0
+ y = 0
+ r1 = 0
+ r2 = 0
+ }
100
101
```
102
@@ -161,10 +161,10 @@ val StoreBuffering: LitmusTest<*> = litmusTest({
161
accept(1, 1)
162
interesting(0, 0)
163
164
165
166
167
168
169
170
0 commit comments