package timebound;

import new_simvasos.timebound.TimeBound;
import org.junit.Test;

public class ConstantTimeBoundTest extends TimeBound {

    @Test
    public int getTick() {
        return 0;
    }
}
@@ -133,16 +133,23 @@
 Bound %7B%0A
+//     
 %0A    @Te

Update ConstantTimeBoundTest.java