From: nastaran-shafiei <nastaran.shafiei@gmail.com>
Date: Wed, 31 May 2017 00:28:26 +0000 (-0700)
Subject: Initial commit
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=eb7cfaa7d9ce99087e9678a61f6840d3cd48f2b2

Initial commit
---

eb7cfaa7d9ce99087e9678a61f6840d3cd48f2b2
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.