package de.bmoth.typechecker;

import de.bmoth.exceptions.TypeErrorException;
import org.junit.Test;

public class ErrorMachinesTest {

    @Test(expected = TypeErrorException.class)
    public void testNaturalException() throws Exception {
        String machine = "MACHINE test\n" + "CONSTANTS k1,k2 \n" + "PROPERTIES k1 = 1 \n" + "END";
        new TestTypechecker(machine);
    }

}

@@ -218,25 +218,8 @@
 on()
- throws Exception
  %7B%0A 

remove throws