From aa6e6c915932dd58c1990f7b6a07662c15938576 Mon Sep 17 00:00:00 2001
From: "Robert (Jamie) Munro" <jamie@diffblue.com>
Date: Tue, 12 Jun 2018 10:10:05 +0100
Subject: [PATCH] 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