package testAux;
import helpers.TestHelper;
import java.io.IOException;
import java.nio.file.Paths;
import java.util.Arrays;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
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 sugarVisitors.Desugar;
import sugarVisitors.InjectionOnCore;
import ast.Expression;
import ast.ExpCore.ClassB;
import ast.Ast;
import ast.Ast.Stage;
import ast.Ast.Path;
import programReduction.Program;
import facade.L42;
import facade.Parser;
public class TestL42Limitations {
//TODO: in loop on big step on11/04/2015
//@Test
public void test1() throws IOException{
TestHelper.configureForTest();
//L42.setRootPath(Paths.get("dummy"));
Assert.assertEquals(L42.runSlow(null,TestHelper.multiLine(""
,"{reuse L42.is/nanoBase1"
," Time:{//@plugin"
," //L42.is/connected/withLimitations"
," ()}"
," Main:{"
," use Time check executionTime(lessThan:200N.#binaryRepr()) ("
," while Bool.true() ("
," use Alu check stringDebug(S\"Foo\".#binaryRepr()) void ))"
," return ExitCode.normal()"
," }"
," }"
)).getErrCode(),0);
Assert.assertNotEquals(L42.record.toString(),"");
L42.record=new StringBuilder();
}
}