New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bugfix: SMTLIB Parsing #x BV constants #443

Merged
merged 1 commit into from Oct 1, 2017

Conversation

Projects
None yet
2 participants
@marcogario
Contributor

marcogario commented Oct 1, 2017

SMT-LIB parsing of bv constants using the hexadecimal syntax
(e.g., #x10) would leads to the incorrect width of the bit-vector.

Fixes issue #442. Thanks to @cdmcdonell for reporting this.

Bugfix: SMTLIB Parsing #x BV constants
SMT-LIB parsing of bv constants using the hexadecimal syntax
(e.g., #x10) would leads to the incorrect width of the bit-vector.

Fixes issue #442. Thanks to @cdmcdonell for reporting this.

@mikand mikand merged commit 35662f0 into master Oct 1, 2017

6 checks passed

clahub All contributors have signed the Contributor License Agreement.
Details
code-quality/landscape Code quality increased by 0.03%
Details
continuous-integration/appveyor/branch AppVeyor build succeeded
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details

@mikand mikand deleted the i442/bv_const branch Oct 1, 2017

@mikand mikand referenced this pull request Oct 17, 2017

Closed

Parsing error. #446

@marcogario marcogario added this to the 0.7.5 milestone May 19, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment