search

uuverifiers / eldarica

The Eldarica model checker
Other
80 stars 23 forks source link

(error "Predicate generation failed") #46

Closed leonardoalt closed 3 months ago

leonardoalt commented 2 years ago

Benchmark: https://gist.github.com/leonardoalt/40a9f094247f45f415b8bb9b9b3b1ab2 Using Eldarica's nightly from 15/05.

It's the first time I encounter this error so wanted to ask about it. Please feel free to close if it's intended.

pruemmer commented 2 years ago

This is the same error as the old one about unsupported quantifiers in predicates!