Remove print statement

kind2-mc · May 6, 2024 · 4a17683 · 4a17683
1 parent 0089613
commit 4a17683
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/test/java/edu/uiowa/cs/clc/kind2/results/Kind2ResultTests.java b/src/test/java/edu/uiowa/cs/clc/kind2/results/Kind2ResultTests.java
@@ -33,7 +33,8 @@ void reset()
   @Test
   void candidateProps()
   {
-    String json = "[{'objectType' : 'log','level' : 'info','source' : 'parse','value' : 'kind2 v2.1.0-226-g2e70bac'},{'objectType' : 'kind2Options','enabled' :[  ],'timeout' : 0.000000,'bmcMax' : 0,'compositional' : false,'modular' : false},{'objectType' : 'analysisStart','top' : 'N','concrete' : [],'abstract' : [],'assumptions' : []},{'objectType' : 'property','name' : 'InvProp[l5c4]','source' : 'PropAnnot','file' : './examples/bug.lus','line' : 5,'column' : 4,'runtime' : {'unit' : 'sec', 'timeout' : false, 'value' : 0.060},'k' : 0,'answer' : {'source' : 'ic3qe', 'value' : 'falsifiable'},'counterExample' :[  {    'blockType' : 'node',    'name' : 'N',    'streams' :    [      {        'name' : 'x',        'type' : 'subrange',        'typeInfo' :        {          'min' : 0,          'max' : 5        },        'class' : 'input',        'instantValues' :        [          [0, 5]        ]      },      {        'name' : 'y',        'type' : 'int',        'class' : 'output',        'instantValues' :        [          [0, 6]        ]      }    ]  }]},{'objectType' : 'property','name' : '((1 <= y) and (y <= 6))','source' : 'Generated','isCandidate': true,'file' : './examples/bug.lus','line' : 1,'column' : 44,'runtime' : {'unit' : 'sec', 'timeout' : false, 'value' : 0.060},'answer' : {'source' : 'ic3qe', 'value' : 'valid'}},{'objectType' : 'analysisStop'}]";System.out.println("got here");
+    String json = "[{'objectType' : 'log','level' : 'info','source' : 'parse','value' : 'kind2 v2.1.0-226-g2e70bac'},{'objectType' : 'kind2Options','enabled' :[  ],'timeout' : 0.000000,'bmcMax' : 0,'compositional' : false,'modular' : false},{'objectType' : 'analysisStart','top' : 'N','concrete' : [],'abstract' : [],'assumptions' : []},{'objectType' : 'property','name' : 'InvProp[l5c4]','source' : 'PropAnnot','file' : './examples/bug.lus','line' : 5,'column' : 4,'runtime' : {'unit' : 'sec', 'timeout' : false, 'value' : 0.060},'k' : 0,'answer' : {'source' : 'ic3qe', 'value' : 'falsifiable'},'counterExample' :[  {    'blockType' : 'node',    'name' : 'N',    'streams' :    [      {        'name' : 'x',        'type' : 'subrange',        'typeInfo' :        {          'min' : 0,          'max' : 5        },        'class' : 'input',        'instantValues' :        [          [0, 5]        ]      },      {        'name' : 'y',        'type' : 'int',        'class' : 'output',        'instantValues' :        [          [0, 6]        ]      }    ]  }]},{'objectType' : 'property','name' : '((1 <= y) and (y <= 6))','source' : 'Generated','isCandidate': true,'file' : './examples/bug.lus','line' : 1,'column' : 44,'runtime' : {'unit' : 'sec', 'timeout' : false, 'value' : 0.060},'answer' : {'source' : 'ic3qe', 'value' : 'valid'}},{'objectType' : 'analysisStop'}]";
+
     Boolean result = 
     Result.analyzeJsonResult(json)
       .getRoot()