How do I make a type that can only contain strings...
# arrowm
Milse113
11/25/2021, 9:14 PMHow do I make a type that can only contain strings matching a certain regex using Arrow Analysis?
a
Alejandro Serrano Mena
11/26/2021, 9:49 AMunfortunately we are currently blocked by one of our dependencies, java-smt, which does not expose the required functionality
Alejandro Serrano Mena
11/26/2021, 9:49 AMwe have sent a PR, but it’s still unmerged https://github.com/sosy-lab/java-smt/pull/250
Alejandro Serrano Mena
11/26/2021, 9:49 AMonce a new version is released, we’ll readily integrate it in Arrow Analysis
m
Milse113
11/26/2021, 4:47 PMDidn't arrow refinement have this ability? Also how would I do it once the PR merged
4 Views