Update README.md

2018-07-26 14:29:09 -07:00
parent d3b209a89d
commit 7f80d83ba4
1 changed files with 1 additions and 1 deletions
@@ -83,7 +83,7 @@ deepstate-angr --num_workers 4 --output_test_dir out $DEEPSTATE/build/examples/I
    └── SignedInteger_MultiplicationOverflow
        ├── 6a1a90442b4d898cb3fac2800fef5baf.fail
        └── f1d3ff8443297732862df21dc4e57262.pass
-		```
+```

 ## Usage