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