Fix test teardowns
Merge pull request #76 from ikehara/fix_for_travis

Remove some include directives from app.h
Output error log when reconstruct fails
Merge pull request #79 from yayugu/fix/test_teardown

Fix test teardowns
Merge pull request #69 from m-yoshimo/add_log_reconstruct

Output error log when reconstruct fails
Remove the constraint option for QuickCheck