smtinterpol icon indicating copy to clipboard operation
smtinterpol copied to clipboard

Published 20 hours ago • verified publisher icon ultimate-pa

ClassCastException on NIA formula (produce-unsat-cores)

Open rainoftime opened this issue 4 years ago • 0 comments

Hi, for the following formula, cast.txt

smtinterpol commit 0610d35 throws a ClassCastException

Unexpected Exception: java.lang.ClassCastException: de.uni_freiburg.informatik.ultimate.logic.QuantifiedFormula cannot be cast to de.uni_freiburg.informatik.ultimate.logic.ApplicationTerm

rainoftime avatar Apr 18 '20 13:04 rainoftime