    @Test
    public void testSplitLine() {

        String longLine = "http://www.kframework.org should be splitted";
        Assert.assertEquals(
                "http://www.kframework.org\nshould be\nsplitted",
                StringUtil.splitLines(longLine, 10));
        Assert.assertEquals(
                "http://www.kframework.org\nshould be splitted",
                StringUtil.splitLines(longLine, 20));
        Assert.assertEquals(
                "http://www.kframework.org\nshould\nbe\nsplitted",
                StringUtil.splitLines(longLine, 0));
        Assert.assertEquals(
                "http://www.kframework.org should be\nsplitted",
                StringUtil.splitLines(longLine, longLine.length()));
        Assert.assertEquals(longLine, StringUtil.splitLines(longLine, longLine.length() + 1));

        String multiLine =
                "http://www.kframework.org\nshort enough line";
        Assert.assertEquals(
                "http://www.kframework.org\nshort enough line",
                StringUtil.splitLines(multiLine, 30));
        Assert.assertEquals(
                "http://www.kframework.org\nshort enough\nline",
                StringUtil.splitLines(multiLine, 13));
        Assert.assertEquals(
                "http://www.kframework.org\nshort\nenough\nline",
                StringUtil.splitLines(multiLine, 10));
    }