From 5a2dea1dbcc3303f8a12dc362dc485b2842fe7a9 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 22 Sep 2019 18:48:16 +0100 Subject: [PATCH] Typo --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 18fc5c9..ee16e29 100644 --- a/README.md +++ b/README.md @@ -6,11 +6,11 @@ The toolkit consists of two separate modules implementing: * BDD-based methods * SMT-based methods -## Example +## Examples The `examples` directory contains sample input files. -To quickly the BDD module you can perform verification of the TGC controller consiting of three trains: +To quickly test the BDD module you can perform verification of the TGC controller consiting of three trains: ``` $ ./reactics bdd -c f1 examples/bdd/tgc.rs