From 67eb7b5dd15e8d120d72648f2d774a5318c40885 Mon Sep 17 00:00:00 2001
From: Vladimir Sitnikov <sitnikov.vladimir@gmail.com>
Date: Sat, 18 Jan 2020 22:46:43 +0300
Subject: [PATCH] Allow multiple jars to be used for fuzz target classpath

Previously the first argument had to be a single jar with all the application classes,
now we allow to specify multiple jars that are separted with pathSeparator.
---
 fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestCLI.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestCLI.java b/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestCLI.java
index 6a50d1461..462f5c11d 100644
--- a/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestCLI.java
+++ b/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestCLI.java
@@ -134,7 +134,7 @@ public void run() {
 
         try {
             ClassLoader loader = new InstrumentingClassLoader(
-                    new String[]{System.getProperty("java.class.path"), this.testPackageName},
+                    this.testPackageName.split(File.pathSeparator),
                     ZestCLI.class.getClassLoader());
 
             // Load the guidance