From 138ecdece57b1a62fa90a2ebebe0001076278538 Mon Sep 17 00:00:00 2001 From: Denis Lochmelis <30842273+DLochmelis33@users.noreply.github.com> Date: Fri, 13 Sep 2024 16:56:38 +0200 Subject: [PATCH] Update README.md (fix alignment in code blocks) --- README.md | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index d0dca4b..3117446 100644 --- a/README.md +++ b/README.md @@ -91,12 +91,12 @@ val StoreBuffering = litmusTest(::StoreBufferingState) { accept(listOf(0 to 1, 1 to 0, 1 to 1)) interesting(listOf(0 to 0)) } - reset { - x = 0 - y = 0 - r1 = 0 - r2 = 0 - } + reset { + x = 0 + y = 0 + r1 = 0 + r2 = 0 + } } ``` @@ -161,10 +161,10 @@ val StoreBuffering: LitmusTest<*> = litmusTest({ accept(1, 1) interesting(0, 0) } - reset { - x = 0 - y = 0 - } + reset { + x = 0 + y = 0 + } } ```