From: Willem Visser <willem@gmail.com>
Date: Wed, 18 Apr 2018 13:36:19 +0000 (+0200)
Subject: Merge pull request #16 from javapathfinder/dev
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=f60224271b2521796b7e01651231b565b9f35472

Merge pull request #16 from javapathfinder/dev

Build status from dev branch
---

f60224271b2521796b7e01651231b565b9f35472