Hotfix/add.k (#322)

* Replaced missing underscores for `Local` * Changed `Identifer` to `IdentifierToken` in `verify.k` * Set Version: 0.2.24 * Set Version: 0.2.43 --------- Co-authored-by: devops <devops@runtimeverification.com>
runtimeverification · Mar 26, 2024 · 9577fbf · 9577fbf
1 parent 47f5527
commit 9577fbf
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmir"
-version = "0.2.42"
+version = "0.2.43"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py
@@ -5,4 +5,4 @@
 from .prove import prove, show_proof, view_proof
 from .run import run
 
-VERSION: Final = '0.2.42'
+VERSION: Final = '0.2.43'
diff --git a/kmir/src/tests/integration/test-data/prove-rs/add.k b/kmir/src/tests/integration/test-data/prove-rs/add.k
@@ -3,7 +3,7 @@ requires "verify.k"
 module ADD
     imports VERIFY
 
-    claim 
+    claim
           <k>
             fn main :: .FunctionPath ( .ParameterList ) -> ( ) { .DebugList let mut _0 : ( ) ;  let  _1 : i32  ;  .BindingList scope 1 { debug num => _1 ;  .DebugList .BindingList .ScopeList }  .ScopeList bb0  : { _1 = Add ( const 20_i32 , const 22_i32 ) ;  .Statements return ; }  .BasicBlockList }  .Mir
             =>
@@ -19,11 +19,11 @@ module ADD
               <fnKey> Fn(main) </fnKey>
               <localDecls>
                 <localDecl>
-                  <index> 0 </index>
+                  <index> _0 </index>
                   ...
                 </localDecl>
                 <localDecl>
-                  <index> 1 </index>
+                  <index> _1 </index>
                   <value> 42 </value>
                   ...
                 </localDecl>

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.2.42
+0.2.43