From: cyrille-artho <cyrille-artho@users.noreply.github.com>
Date: Fri, 1 Jun 2018 09:40:34 +0000 (+0900)
Subject: Merge pull request #74 from jeandersonbc/issue56
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=dda52e5df13d26c6b29900ba7f1f72c353afd7e5;hp=--cc

Merge pull request #74 from jeandersonbc/issue56

Added ignored tests (Fixes #56)
---

dda52e5df13d26c6b29900ba7f1f72c353afd7e5