search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

Equivalence checker: add 'unknown safety' category #1488

Closed mario-bucev closed 8 months ago

mario-bucev commented 8 months ago

"unknown safety" refers to inconclusive VCs that are unrelated to equivalence checking.

vkuncak commented 8 months ago

@drganam could you check, please?

drganam commented 8 months ago

LGTM, thanks!

After merging, we should also update to this version in https://gitlab.epfl.ch/lara/saag/-/blob/main/setup-stainless.sh?ref_type=heads#L6