search

hycos / regex2smtlib

A regular expression to SMT-LIB constraint translator
MIT License
10 stars 2 forks source link

NullPointerException in com.github.hycos.regex2smtlib.Translator.render(Translator.java:149) #1

Closed traceprobe closed 5 years ago

traceprobe commented 5 years ago

Hello, I tried the examples of Translator.INSTANCE.translateToClause and Translator.INSTANCE.translateToConstraint, both of which cause a NullPointerException.

java.lang.NullPointerException at com.github.hycos.regex2smtlib.Translator.render(Translator.java:149) at com.github.hycos.regex2smtlib.Translator.translateToClause(Translator.java:107)

It seems that the code fails to instantiate a MustacheEngine object.

thanks

julianthome commented 5 years ago

Hi @traceprobe, thank you very much for the report and sorry for the late reply. Will fix that asap.

julianthome commented 5 years ago

Thanks @traceprobe, the last patch should have fixed the issue. I will also deploy a new release 1.1 on maven central soon.

julianthome commented 5 years ago

Done: https://oss.sonatype.org/content/repositories/releases/com/github/hycos/regex2smtlib/1.1/