From 7f80d83ba42b79cb3f9041086502de0d14ab7e92 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 26 Jul 2018 14:29:09 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b258884..a74121c 100644 --- a/README.md +++ b/README.md @@ -83,7 +83,7 @@ deepstate-angr --num_workers 4 --output_test_dir out $DEEPSTATE/build/examples/I └── SignedInteger_MultiplicationOverflow ├── 6a1a90442b4d898cb3fac2800fef5baf.fail └── f1d3ff8443297732862df21dc4e57262.pass - ``` +``` ## Usage