Update name of test case

kind2-mc · May 2, 2024 · dccc3d3 · dccc3d3
1 parent 317e2be
commit dccc3d3
Showing 1 changed file with 1 addition 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
@@ -31,7 +31,7 @@ void reset()
   }
 
   @Test
-  void rob()
+  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' : 'Candidate(Generated)','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 result =