Examples with Configuration fr.inria.stamp.Configuration used on opensource projects

Example 1 with Configuration

use of fr.inria.stamp.Configuration in project dspot by STAMP-project.

the class DSpotMojo method execute.

public void execute() throws MojoExecutionException, MojoFailureException {
    Configuration configuration = new Configuration(// path to file
    null, // Amplifiers
    JSAPOptions.buildAmplifiersFromString(getAmplifiers().toArray(new String[0])), // Iteration
    getIteration(), // testClases
    getNamesOfTestCases(), getOutputPath().toString(), SelectorEnum.valueOf(getSelector()).buildSelector(), getNamesOfTestCases(), getRandomSeed().longValue(), getTimeOutInMs().intValue(), BUILDER, getMavenHome().getAbsolutePath(), 10, false, false);
    InputConfiguration inputConfiguration;
    try {
        inputConfiguration = new InputConfiguration(getProject(), getSrcDir(), getTestDir(), getClassesDir(), getTestClassesDir(), getTempDir(), getFilter(), getMavenHome());
        Main.run(configuration, inputConfiguration);
    } catch (Exception e) {
        // TODO Auto-generated catch block
        e.printStackTrace();
    }
}