A modern programming language that makes developers happier.

kotlinlang

Is it still impossible to use Arrow Analysis to ensure that a string matches a regex expression at compiletime?

hi <@U02N308QGKA>, sorry we missed your message. yes, String support is currently very limited to just properties like `length` but <@U028BLB5LG3> made some progress contributing <https://github.com/sosy-lab/java-smt/pull/250> to java_smt. Maybe regex support is something we can do in future releases but there isn’t anything yet for it.