From aa6e6c915932dd58c1990f7b6a07662c15938576 Mon Sep 17 00:00:00 2001 From: "Robert (Jamie) Munro" Date: Tue, 12 Jun 2018 10:10:05 +0100 Subject: [PATCH 1/2] Use multi-line buildCmd and testCmd --- diffblue.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/diffblue.yml b/diffblue.yml index 68265ff..37b632c 100644 --- a/diffblue.yml +++ b/diffblue.yml @@ -1,5 +1,9 @@ -buildCmd: cd main-module; mvn compile -testCmd: cd main-module; mvn test +buildCmd: |- + cd main-module + mvn compile +testCmd: |- + cd main-module + mvn test cbmcArguments: java-max-input-array-length: 10 unwind: 10 From eae3a2ef2200f1608a392ef0b49c5e9e9aaa723f Mon Sep 17 00:00:00 2001 From: "Robert (Jamie) Munro" Date: Tue, 12 Jun 2018 10:11:06 +0100 Subject: [PATCH 2/2] Don't specify buildCmd and testCmd Let auto-detection handle it. --- diffblue.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/diffblue.yml b/diffblue.yml index 37b632c..1c4e280 100644 --- a/diffblue.yml +++ b/diffblue.yml @@ -1,9 +1,3 @@ -buildCmd: |- - cd main-module - mvn compile -testCmd: |- - cd main-module - mvn test cbmcArguments: java-max-input-array-length: 10 unwind: 10