From: Jeanderson Barros Candido <jeandersonbc@gmail.com>
Date: Wed, 23 May 2018 11:30:31 +0000 (-0300)
Subject: Implemented log summary and updated log configurations (#54) (#55)
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=a2d099bfd92d46dadc8200829b5ea0989b777977;hp=a2d099bfd92d46dadc8200829b5ea0989b777977;ds=sidebyside

Implemented log summary and updated log configurations (#54) (#55)
---