1 files changed, 0 insertions, 93 deletions
diff --git a/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy b/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
deleted file mode 100644
index afeacac..0000000
--- a/src/main/groovy/frege/gradle/tasks/FregeQuickCheck.groovy
+++ /dev/null
@@ -1,93 +0,0 @@
-package frege.gradle.tasks
-import org.gradle.api.DefaultTask
-import org.gradle.api.internal.file.FileResolver
-import org.gradle.api.tasks.TaskAction
-import org.gradle.process.internal.DefaultExecActionFactory
-import org.gradle.process.internal.DefaultJavaExecAction
-import org.gradle.process.internal.JavaExecAction
-
-class FregeQuickCheck extends DefaultTask {
-
-    // more options to consider:
-/*
-     Looks up quick check predicates in the given modules and tests them.
-
-    [Usage:] java -cp fregec.jar frege.tools.Quick [ option ... ] modulespec ...
-
-    Options:
-
-    -    -v      print a line for each pedicate that passed
-    -    -n num  run _num_ tests per predicate, default is 100
-    -    -p pred1,pred2,... only test the given predicates
-    -    -x pred1,pred2,... do not test the given predicates
-    -    -l  just print the names of the predicates available.
-
-    Ways to specify modules:
-
-    - module  the module name (e.g. my.great.Module), will be lookup up in
-              the current class path.
-    - dir/    A directory path. The directory is searched for class files,
-              and for each class files an attempt is made to load it as if
-              the given directory was in the class path. The directory must
-              be the root of the classes contained therein, otherwise the
-              classes won't get loaded.
-    - path-to.jar A jar or zip file is searched for class files, and for each
-              class file found an attempt is made to load it as if the
-              jar was in the class path.
-
-     The number of passed/failed tests is reported. If any test failed or other
-     errors occured, the exit code will be non zero.
-
-     The code will try to heat up your CPU by running tests on all available cores.
-     This should be faster on multi-core computers than running the tests
-     sequentially. It makes it feasable to run more tests per predicate.
-
-     */
-
-    Boolean verbose = true
-    Boolean listAvailable = false
-    Boolean help = false
-    Integer num = 100
-    List<String> includePredicates
-    List<String> excludePredicates
-    String moduleName
-    String moduleDirectory
-    String moduleJar
-    List<String> classpathDirectories = ["$project.buildDir/classes/main", "$project.buildDir/classes/test"]
-    String moduleDir = "$project.buildDir/classes/test"
-    List<String> allJvmArgs = []
-
-    @TaskAction
-    void runQuickCheck() {
-
-        FileResolver fileResolver = getServices().get(FileResolver.class)
-        JavaExecAction action = new DefaultExecActionFactory(fileResolver).newJavaExecAction()
-        action.setMain("frege.tools.Quick")
-
-        action.standardInput = System.in
-        action.standardOutput = System.out
-        action.errorOutput = System.err
-
-        def f = project.files(classpathDirectories.collect { s -> new File(s) })
-        action.setClasspath(project.files(project.configurations.compile).plus(project.files(project.configurations.testRuntime)).plus(f))
-
-
-        project.configurations.testRuntime.each { println it }
-
-        def args = []
-        if (help) {
-
-        } else {
-            if (verbose) args << "-v"
-            if (listAvailable) args << "-l"
-            if (!allJvmArgs.isEmpty()) {
-                action.setJvmArgs(allJvmArgs)
-            }
-            args = args + [moduleDir]
-        }
-        logger.info("Calling Frege QuickCheck with args: '$args'")
-        action.args args
-        action.execute()
-    }
-
-}