projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70baef7) | patch
Make sure modes are sorted in ModeInfo (#7097)
authorGereon Kremer <nafur42@gmail.com>
Tue, 31 Aug 2021 19:27:55 +0000 (12:27 -0700)
committerGitHub <noreply@github.com>
Tue, 31 Aug 2021 19:27:55 +0000 (19:27 +0000)
commita920f878b1ed8bf83520e0acaf2810514d00d89f
tree87168951726de29082901b9bce0fa9111b30d14etree
parent70baef755ad939040c9a670da224512eb076f61bcommit | diff
Make sure modes are sorted in ModeInfo (#7097)

This PR ensures that the possible modes returned in getOptionInfo() are always sorted. Their order would depend on the python dictionary ordering, which changed with a somewhat recent python version and thereby breaks our tests.
src/options/mkoptions.py diff | blob | history
test/unit/api/solver_black.cpp diff | blob | history