@@ -0,0 +1,519 @@
+package wyboogie;%0A%0Aimport static org.junit.Assert.*;%0A%0Aimport java.io.ByteArrayOutputStream;%0Aimport java.io.PrintWriter;%0A%0Aimport org.junit.Test;%0A%0Apublic class Wyil2BoogieTest %7B%0A%0A    @Test%0A    public void testIndents() %7B%0A        ByteArrayOutputStream out = new ByteArrayOutputStream();%0A        Wyil2Boogie wy2b = new Wyil2Boogie(new PrintWriter(out));%0A        assertEquals(%22            %22, wy2b.createIndent(3));%0A        assertEquals(%22    %22, wy2b.createIndent(1));%0A        assertEquals(%22%22, wy2b.createIndent(0));%0A    %7D%0A%0A%7D%0A

Add some simple unit tests for indentation levels.