From 93b5671574cb1922e13ead59493dcc185e9c626d Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 3 Mar 2015 13:54:09 +0000 Subject: Consistent capitalization of "KLEE" --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index bbf9ebc9..e894ebc1 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,9 @@ -Klee Symbolic Virtual Machine +KLEE Symbolic Virtual Machine ============================= [![Build Status](https://travis-ci.org/klee/klee.svg?branch=master)](https://travis-ci.org/klee/klee) -`klee` is a symbolic virtual machine built on top of the LLVM compiler +`KLEE` is a symbolic virtual machine built on top of the LLVM compiler infrastructure. Currently, there are two primary components: 1. The core symbolic virtual machine engine; this is responsible for -- cgit 1.4.1