Add link to Kontrol tg channel to failure output (#2515)

* Add tg group link to failure info * Set Version: 1.0.631 * Set Version: 1.0.632 * Set Version: 1.0.633 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Jul 8, 2024 · 12d387d · 12d387d
1 parent b4ead22
commit 12d387d
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.632"
+version = "1.0.633"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '1.0.632'
+VERSION: Final = '1.0.633'
diff --git a/kevm-pyk/src/kevm_pyk/utils.py b/kevm-pyk/src/kevm_pyk/utils.py
@@ -187,7 +187,7 @@ def print_failure_info(proof: Proof, kcfg_explore: KCFGExplore, counterexample_i
 
         res_lines.append('')
         res_lines.append(
-            'Join the Runtime Verification Discord server for support: https://discord.com/invite/CurfmXNtbN'
+            'Join the Runtime Verification Discord server (https://discord.com/invite/CurfmXNtbN) or Telegram group (https://t.me/rv_kontrol) for support.'
         )
 
         return res_lines

diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.632
+1.0.633