VisualCamkes test

[lsf37]

See Bamboo/CAmkES/VisualCamkes

[lsf37]

The most relevant bits from the old Bamboo config-as-code for VisualCamkes tests:

public class VisualCamkes {
  private Stage addTestStage() {
    Job job = new Job("Test VisualCAmkES", new BambooKey("JOB1"));
    job = CommonStages.addCodeUnTarToJob(job);
    job.tasks(
        new ScriptTask()
            .description("run test")
            .interpreter(ScriptTaskProperties.Interpreter.BINSH_OR_CMDEXE)
            .inlineBody("xvfb-run python tools/camkes/camkes/visualCAmkES/test.py"));
    job = CommonStages.runInDocker(job, "trustworthysystems/camkes-vis");
    job = CommonStages.addElasticKernelRequirement(job);

    return new Stage("Test").jobs(job);
  }

  public Plan configurePlan(Plan plan) {
    plan.stages(new CodeFetcherBuilder().build().getCodeFetchingStage(), addTestStage())
        .linkedRepositories("camkes-manifest", "camkes-tool");

    return plan;
  }
}

This mainly gives you the command line for invoking the test, the repositories that are needed (camkes-manifest) and the docker image the test expects to run in camkes-vis.

The tests have been broken for a while, so the first order of business would be to make them pass again.