Increment version

esbmc · Sep 5, 2023 · 30a4cfd · 30a4cfd
1 parent 429b585
commit 30a4cfd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/esbmc_ai_lib/__init__.py b/esbmc_ai_lib/__init__.py
@@ -2,4 +2,4 @@
 Software Bounded Model Checker. With the power of LLMs, it adds
 features such as automatic code fixing and more."""
 
-version: str = "0.2.0"
+version: str = "0.3.0"