Unit tests for Havana