readme

bartoszmodelski · bartoszmodelski · commit 4086639ae58d · 2022-11-17T10:16:43.000Z
diff --git a/README.md b/README.md
@@ -1,5 +1,4 @@
 # `dscheck` — tool for testing concurrent OCaml programs 
---------------------------------------------------------
 
 Experimental model checker for testing concurrent algorithms based on [Dynamic Partial-Order Reduction for Model Checking Software](https://users.soe.ucsc.edu/~cormac/papers/popl05.pdf). At the core, `dscheck` runs each test numerous times, exhaustively trying every single interleaving of atomic operations. User-provided assertions are run at the end of every execution. 
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	# `dscheck` — tool for testing concurrent OCaml programs
`2`		`---------------------------------------------------------`
`3`	`2`
`4`	`3`	Experimental model checker for testing concurrent algorithms based on [Dynamic Partial-Order Reduction for Model Checking Software](https://users.soe.ucsc.edu/~cormac/papers/popl05.pdf). At the core, `dscheck` runs each test numerous times, exhaustively trying every single interleaving of atomic operations. User-provided assertions are run at the end of every execution.
`5`	`4`