Merge branch 'master' of https://github.com/go-air/reach

scott-cotton · scott-cotton · commit b4720d798982 · 2021-08-22T02:46:50.000+02:00
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# ⊧Reach -- A Finite State Reachability Tool
+# ⊧ Reach -- A Finite State Reachability Tool
 
 Reach is a symbolic finite state reachability checker.  One could also say that
 Reach is a safety model checker.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# ⊧Reach -- A Finite State Reachability Tool`
	`1`	`+# ⊧ Reach -- A Finite State Reachability Tool`
`2`	`2`
`3`	`3`	`Reach is a symbolic finite state reachability checker. One could also say that`
`4`	`4`	`Reach is a safety model checker.`