m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Chrzanowski <m@m-chrzan.xyz>2021-07-16 10:34:53 +0200
committerMarcin Chrzanowski <m@m-chrzan.xyz>2021-07-16 10:34:53 +0200
commit004fe48c4c311f3db60b2b2a9dc3dc3acb65b7cc (patch)
tree2162eb5b5e22ee0a2f258b2361a1bd4490ea5e58
parent4d3b618889fcec52f6af83fda072c94dd16cedc4 (diff)
Add string constants
-rw-r--r--certora.vim1
1 files changed, 1 insertions, 0 deletions
diff --git a/certora.vim b/certora.vim
index 04734de..82e8ea7 100644
--- a/certora.vim
+++ b/certora.vim
@@ -13,6 +13,7 @@ syn keyword keyword havoc static_assert invoke assert at assuming axiom sinvoke
syn keyword type env address uint256 bool method calldataarg uint uint64 uint16 uint32 uint8 uint24 uint32 uint40 uint48 uint56 uint72 uint80 uint88 uint96 uint104 uint112 uint120 uint128 uint136 uint144 uint152 uint160 uint168 uint176 uint184 uint192 uint200 uint208 uint216 uint224 uint232 uint240 uint248 bytes32
syn keyword identifier lastReverted lastHasThrown lastStorage lastEvents lastNumEvents currentContract
+syn match constant /"[^"]*"/
syn match operator /=>/
syn match operator /<=>/