diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-31 12:27:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-31 19:27:55 +0000 |
commit | a920f878b1ed8bf83520e0acaf2810514d00d89f (patch) | |
tree | 87168951726de29082901b9bce0fa9111b30d14e /test | |
parent | 70baef755ad939040c9a670da224512eb076f61b (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.
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/api/solver_black.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/api/solver_black.cpp b/test/unit/api/solver_black.cpp index df4b42ca6..1daa3fba4 100644 --- a/test/unit/api/solver_black.cpp +++ b/test/unit/api/solver_black.cpp @@ -1371,7 +1371,7 @@ TEST_F(TestApiBlackSolver, getOptionInfo) auto modeInfo = std::get<OptionInfo::ModeInfo>(info.valueInfo); EXPECT_EQ("NONE", modeInfo.defaultValue); EXPECT_EQ("OutputTag::NONE", modeInfo.currentValue); - std::vector<std::string> modes{"NONE", "INST", "SYGUS", "TRIGGER"}; + std::vector<std::string> modes{"INST", "NONE", "SYGUS", "TRIGGER"}; EXPECT_EQ(modes, modeInfo.modes); } } |