Update test case to pass formally
Add travis