projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 786b9ab) | patch
context_black: Clean up classes. (#6046)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 4 Mar 2021 02:24:00 +0000 (18:24 -0800)
committerGitHub <noreply@github.com>
Thu, 4 Mar 2021 02:24:00 +0000 (02:24 +0000)
commitb9c7bce2eb25607d433afce01f3825fd516b475e
treec66aaf1b05e388f5a687fc0cf501438a5fa04c23tree
parent786b9ab247b938a10f0b944d28d448ddb2f4f974commit | diff
context_black: Clean up classes. (#6046)

This cleans up the MyContext* classes defined for the tests according to
the code style guidelines. It further converts non-fixed width integer
types to fixed-width types. This was missed in #5587.
test/unit/context/context_black.cpp diff | blob | history