Add remark on utilities

ftsrg · Sep 8, 2020 · d9c35d9 · d9c35d9
1 parent 861ff65
commit d9c35d9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -10,7 +10,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.inf.theta"
-    version = "2.1.0"
+    version = "2.2.0"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }

diff --git a/subprojects/cfa-cli/README.md b/subprojects/cfa-cli/README.md
@@ -1,6 +1,7 @@
 ## Overview
 
 The `cfa-cli` project is an executable (command line) tool for running CEGAR-based analyses on CFAs.
+Furthermore, it also includes some utilities, such as calculating metrics or visualizing the CFA.
 For more information about the CFA formalism and its supported language elements, take a look at the [`cfa`](../cfa/README.md) project.
 
 ### Related projects