From 810b297159264d2104ab5bd4080c2495e2525b22 Mon Sep 17 00:00:00 2001 From: Daniel Compton Date: Tue, 12 May 2015 15:53:07 +1200 Subject: [PATCH 1/2] Repeated words in README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f59a0c6..cfcc4a0 100644 --- a/README.md +++ b/README.md @@ -98,7 +98,7 @@ PN counters are linear in size with the number of actors that have ever affected ## Testing -The above listed features are tested using generative testing to verify their propertie to verify their properties +The above listed features are tested using generative testing to verify their properties ## License From d14d5ab11d4520c24c1359eff08e1a52a69bf2a2 Mon Sep 17 00:00:00 2001 From: Daniel Compton Date: Tue, 12 May 2015 15:54:10 +1200 Subject: [PATCH 2/2] Full stop. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index cfcc4a0..8b33f94 100644 --- a/README.md +++ b/README.md @@ -98,7 +98,7 @@ PN counters are linear in size with the number of actors that have ever affected ## Testing -The above listed features are tested using generative testing to verify their properties +The above listed features are tested using generative testing to verify their properties. ## License