From 5088e5003dfce88f8415b9f761c70f77efcb69b2 Mon Sep 17 00:00:00 2001 From: Kasper Luckow Date: Sun, 23 Jul 2017 15:50:29 -0700 Subject: [PATCH] Update description --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 195c337..a09992e 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Awesome Symbolic Execution [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) ->A curated list of awesome symbolic execution resources including books, essential research papers, tutorials and tools. +>A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools. ## Table of Contents