* {@link edu.luc.cs.laufer.cs473.index.DefaultToken#DefaultToken(java.lang.String, int)}.
*/
@Test
public void testDefaultTokenNegative() {
try {
new DefaultToken("abc", -1);
fail("expected failed assertion > 0");
} catch (IllegalArgumentException e) {
}
}