From eb7cfaa7d9ce99087e9678a61f6840d3cd48f2b2 Mon Sep 17 00:00:00 2001
From: nastaran-shafiei <nastaran.shafiei@gmail.com>
Date: Tue, 30 May 2017 17:28:26 -0700
Subject: [PATCH] Initial commit

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..47ebe4a
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# jpf-core
+This is the basis for all JPF projects, i.e. you always need to install it. jpf-core contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
-- 
2.34.1