correcting the proof directory in build file

KeYProject · Oct 13, 2023 · d68fa2c · d68fa2c
1 parent 9cfe9ab
commit d68fa2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -125,7 +125,7 @@ fun JavaExec.checkCommand() {
     mainClass = "de.uka.ilkd.key.CheckerKt"
     classpath = keyClasspath
     systemProperty("key.contractOrder", "contract-order.txt")
-    args("--no-auto-mode", "--proof-path", "proofs/", "src/main/key/project.key")
+    args("--verbose", "--no-auto-mode", "--proof-path", "src/main/key/", "src/main/key/project.key")
     group = "key"
     tasks.named("check").get().dependsOn(this)
 }