package testAux;
import helpers.TestHelper;
import java.io.IOException;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.Arrays;
import java.util.List;
import org.junit.Assert;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameter;
import ast.ErrorMessage;
import facade.L42;
public class TestL42Short {
@Test
public void test1() throws IOException{
TestHelper.configureForTest();
Assert.assertEquals(L42.runSlow(null,TestHelper.multiLine(""
,"{ reuse L42.is/nanoBase0"
,"C:{//@exitStatus"
," //0"
,"}"
,"}"
)).getErrCode(),0);
}
@Test
public void test2() throws IOException{
TestHelper.configureForTest();
Assert.assertEquals(L42.runSlow(null,TestHelper.multiLine(""
,"{reuse L42.is/nanoBase0"
," C:{"
//," //if True() (return ExitCore.normal())"
//," //return ExitCode.failure()"
," return ExitCode.normal()"
," }"
," }"
)).getErrCode(),0);
}
@Test
public void test3() throws IOException{
TestHelper.configureForTest();
Assert.assertEquals(L42.runSlow(null,TestHelper.multiLine(""
,"{reuse L42.is/nanoBase0"
," C:{"
," if True() (return ExitCode.normal())"
," return ExitCode.failure()"
," }"
," }"
)).getErrCode(),0);}
@Test
public void test3b() throws IOException{
TestHelper.configureForTest();
Assert.assertEquals(L42.runSlow(null,TestHelper.multiLine(""
,"{reuse L42.is/nanoBase0"
," C:{"
," if False() (return ExitCode.failure())"
," return ExitCode.normal()"
," }"
," }"
)).getErrCode(),0);}
@Test
public void test4() throws IOException{
TestHelper.configureForTest();
Assert.assertEquals(L42.runSlow(null,TestHelper.multiLine(""
," {reuse L42.is/nanoBase0"
," C:{if True() & False() (return ExitCode.failure())"
," return ExitCode.normal()}}"
)).getErrCode(),0);}
@Test
public void test5() throws IOException{
TestHelper.configureForTest();
Assert.assertEquals(L42.runSlow(null,TestHelper.multiLine(""
," {reuse L42.is/nanoBase0"
," C:{if True() & True() (return ExitCode.failure())"
," return ExitCode.normal()}}"
)).getErrCode(),42000);}
}