Merge pull request #47 from NethermindEth/ElijahVlasov/meaningful-ass…

…ert-labels Make assert labels more meaningful
NethermindEth · Jan 19, 2023 · db1e3a4 · db1e3a4
2 parents 5c5e04b + a5e95b3
commit db1e3a4
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -18,7 +18,7 @@ skip_gitignore = true
 
 [tool.poetry]
 name = "horus-compile"
-version = "0.0.6.4"
+version = "0.0.6.5"
 authors = ["Nethermind <[email protected]>"]
 description = "Use formally verified annotations in your Cairo code"
 classifiers = [

diff --git a/src/horus/__init__.py b/src/horus/__init__.py
@@ -1 +1 @@
-__version__ = "0.0.6.4"
+__version__ = "0.0.6.5"
diff --git a/src/horus/compiler/preprocessor.py b/src/horus/compiler/preprocessor.py
@@ -119,7 +119,7 @@ def add_dummy_label_with_assert(self, assrt: CodeElementCheck):
                 )
             )
 
-        name = f"!dummy_label_{self.current_fresh_index}"
+        name = f"!anonymous_assert_label_{self.current_fresh_index}"
         self.current_fresh_index += 1
         self.identifiers.add_identifier(
             name=self.current_scope + name,

diff --git a/tests/golden/assert_test.gold b/tests/golden/assert_test.gold
@@ -1,6 +1,6 @@
 {
   "invariants": {
-    "__main__.main.!dummy_label_0": {
+    "__main__.main.!anonymous_assert_label_0": {
       "sexpr": [
         "(= 1 (memory ap))"
       ],