Example 1 with StoredReport
use of org.btrplace.safeplace.testing.reporting.StoredReport in project scheduler by btrplace.
the class DSN method prettyErrors.
// @Test
public void prettyErrors() throws Exception {
TestScanner sc = newScanner();
Bench.mode = Bench.Mode.REPLAY;
Bench.population = 1000;
Bench.scale = 5;
sc.test(Bench.class).forEach(x -> {
x.reportTo(new StoredReport(Paths.get("xp-dsn", "errors.txt"), r -> !r.result().equals(Result.SUCCESS)));
System.out.println(x.go());
});
}
Also used :
CSVReport(org.btrplace.safeplace.testing.reporting.CSVReport)
PrettyPrinterConfiguration(com.github.javaparser.printer.configuration.PrettyPrinterConfiguration)
ParseResult(com.github.javaparser.ParseResult)
VoidVisitorAdapter(com.github.javaparser.ast.visitor.VoidVisitorAdapter)
AnnotationExpr(com.github.javaparser.ast.expr.AnnotationExpr)
HashMap(java.util.HashMap)
ArrayList(java.util.ArrayList)
Restriction(org.btrplace.safeplace.testing.fuzzer.Restriction)
Constraint(org.btrplace.safeplace.spec.Constraint)
Matcher(java.util.regex.Matcher)
Assert(org.testng.Assert)
Map(java.util.Map)
CompilationUnit(com.github.javaparser.ast.CompilationUnit)
SpecScanner(org.btrplace.safeplace.spec.SpecScanner)
Path(java.nio.file.Path)
EnumSet(java.util.EnumSet)
SpecVerifier(org.btrplace.safeplace.testing.verification.spec.SpecVerifier)
TestScanner(org.btrplace.safeplace.testing.TestScanner)
Files(java.nio.file.Files)
Verifier(org.btrplace.safeplace.testing.verification.Verifier)
Collectors(java.util.stream.Collectors)
Bench(org.btrplace.safeplace.testing.Bench)
List(java.util.List)
StoredReport(org.btrplace.safeplace.testing.reporting.StoredReport)
MethodDeclaration(com.github.javaparser.ast.body.MethodDeclaration)
Paths(java.nio.file.Paths)
Result(org.btrplace.safeplace.testing.Result)
TestCampaign(org.btrplace.safeplace.testing.TestCampaign)
Pattern(java.util.regex.Pattern)
CheckerVerifier(org.btrplace.safeplace.testing.verification.btrplace.CheckerVerifier)
JavaParser(com.github.javaparser.JavaParser)
InputStream(java.io.InputStream)
Bench(org.btrplace.safeplace.testing.Bench)
StoredReport(org.btrplace.safeplace.testing.reporting.StoredReport)
TestScanner(org.btrplace.safeplace.testing.TestScanner)
Aggregations
JavaParser (com.github.javaparser.JavaParser)1
ParseResult (com.github.javaparser.ParseResult)1
CompilationUnit (com.github.javaparser.ast.CompilationUnit)1
MethodDeclaration (com.github.javaparser.ast.body.MethodDeclaration)1
AnnotationExpr (com.github.javaparser.ast.expr.AnnotationExpr)1
VoidVisitorAdapter (com.github.javaparser.ast.visitor.VoidVisitorAdapter)1
PrettyPrinterConfiguration (com.github.javaparser.printer.configuration.PrettyPrinterConfiguration)1
InputStream (java.io.InputStream)1
Files (java.nio.file.Files)1
Path (java.nio.file.Path)1
Paths (java.nio.file.Paths)1
ArrayList (java.util.ArrayList)1
EnumSet (java.util.EnumSet)1
HashMap (java.util.HashMap)1
List (java.util.List)1
Map (java.util.Map)1
Matcher (java.util.regex.Matcher)1
Pattern (java.util.regex.Pattern)1
Collectors (java.util.stream.Collectors)1
Constraint (org.btrplace.safeplace.spec.Constraint)1
