Skip to content

Issue with top and bot constants in EqChecker

Viktor Kuncak requested to merge github/fork/SimonGuilloud/EqCheckerCorrection into main

Created by: SimonGuilloud

The special handling for the top and bot predicate labels were missing, they are now take into account.

Merge request reports