settings + testcase

8d3a8c76 · Sarah Grebing · dcf6b8b5 · 8d3a8c76 · 8d3a8c76
Commit 8d3a8c76 authored Feb 14, 2019 by Sarah Grebing
Showing with 4 additions and 2 deletions

ui/build.gradle ui/build.gradle +4 -1

ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/java/quicksort/proof-settings.props ...formal/psdbg/examples/java/quicksort/proof-settings.props +0 -1

No files found.
--- a/ui/build.gradle
+++ b/ui/build.gradle
 plugins {
    id "com.github.voplex95.lesscompiler" version "1.0.3"
+
 }

 apply plugin: 'antlr'
+apply plugin: 'application'
+

 description = 'ui'

@@ -38,7 +41,7 @@ dependencies {
    compile project(':lint')
 }

-def mainClassName = 'edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger'
+mainClassName = 'edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger'

 task runApp(type: JavaExec) {
    standardInput = System.in

--- a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/java/quicksort/proof-settings.props
+++ b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/java/quicksort/proof-settings.props
@@ -15,7 +15,6 @@
 [SMTSettings]instantiateHierarchyAssumptions=true
 [StrategyProperty]AUTO_INDUCTION_OPTIONS_KEY=AUTO_INDUCTION_OFF
 [StrategyProperty]DEP_OPTIONS_KEY=DEP_ON
-[StrategyProperty]BLOCK_OPTIONS_KEY=BLOCK_CONTRACT
 [StrategyProperty]CLASS_AXIOM_OPTIONS_KEY=CLASS_AXIOM_FREE
 [StrategyProperty]SYMBOLIC_EXECUTION_NON_EXECUTION_BRANCH_HIDING_OPTIONS_KEY=SYMBOLIC_EXECUTION_NON_EXECUTION_BRANCH_HIDING_OFF
 [StrategyProperty]QUERY_NEW_OPTIONS_KEY=QUERY_OFF