diff options
| author | Leonardo Alt <leonardoaltt@gmail.com> | 2018-03-13 03:15:27 +0800 |
|---|---|---|
| committer | Leonardo Alt <leonardoaltt@gmail.com> | 2018-03-13 03:16:47 +0800 |
| commit | 9b64dc501da5c743b948e4dca844a6cd67766be1 (patch) | |
| tree | e324d1751243949f308d27c372670cf8e0e393f8 /libsolidity/formal/SSAVariable.cpp | |
| parent | c2d26eb6a20a21f5fe4b5d78a39f8c23f7f3f5cb (diff) | |
| download | dexon-solidity-9b64dc501da5c743b948e4dca844a6cd67766be1.tar.gz dexon-solidity-9b64dc501da5c743b948e4dca844a6cd67766be1.tar.zst dexon-solidity-9b64dc501da5c743b948e4dca844a6cd67766be1.zip | |
[SMTChecker_Bool] Fix PR review comments: method renaming and solAssert
Diffstat (limited to 'libsolidity/formal/SSAVariable.cpp')
| -rw-r--r-- | libsolidity/formal/SSAVariable.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/libsolidity/formal/SSAVariable.cpp b/libsolidity/formal/SSAVariable.cpp index 3f2a61f1..f3213e03 100644 --- a/libsolidity/formal/SSAVariable.cpp +++ b/libsolidity/formal/SSAVariable.cpp @@ -33,9 +33,9 @@ SSAVariable::SSAVariable( { resetIndex(); - if (typeInteger(_decl.type()->category())) + if (isInteger(_decl.type()->category())) m_symbolicVar = make_shared<SymbolicIntVariable>(_decl, _interface); - else if (typeBool(_decl.type()->category())) + else if (isBool(_decl.type()->category())) m_symbolicVar = make_shared<SymbolicBoolVariable>(_decl, _interface); else { @@ -43,17 +43,17 @@ SSAVariable::SSAVariable( } } -bool SSAVariable::supportedType(Type::Category _category) +bool SSAVariable::isSupportedType(Type::Category _category) { - return typeInteger(_category) || typeBool(_category); + return isInteger(_category) || isBool(_category); } -bool SSAVariable::typeInteger(Type::Category _category) +bool SSAVariable::isInteger(Type::Category _category) { return _category == Type::Category::Integer; } -bool SSAVariable::typeBool(Type::Category _category) +bool SSAVariable::isBool(Type::Category _category) { return _category == Type::Category::Bool; } |