comment

uuverifiers · Feb 28, 2024 · e9e602e · e9e602e
1 parent a3f44fd
commit e9e602e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/main/scala/lazabs/horn/predgen/ExternalPredGen.scala b/src/main/scala/lazabs/horn/predgen/ExternalPredGen.scala
@@ -41,6 +41,10 @@ import lazabs.horn.bottomup.{HornClauses, NormClause}
 
 import scala.collection.mutable.{ArrayBuffer, HashMap => MHashMap}
 
+/**
+ * Class to invoke external tools as predicate generators. Currently
+ * not functional.
+ */
 class ExternalPredGen extends PredicateGenerator {
 
   import PredicateGenerator._