diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-08-02 05:27:11 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-08-02 05:27:11 +0800 |
| commit | b6a265551335edeff2f4e43f4a249fabba5381d7 (patch) | |
| tree | d065338b43059114e78baf702de5065efb4d9a46 /libsolidity/formal/SSAVariable.cpp | |
| parent | a78565e44fbcb1d2e3244a6100c0da464ca73c19 (diff) | |
| download | dexon-solidity-b6a265551335edeff2f4e43f4a249fabba5381d7.tar.gz dexon-solidity-b6a265551335edeff2f4e43f4a249fabba5381d7.tar.zst dexon-solidity-b6a265551335edeff2f4e43f4a249fabba5381d7.zip | |
Replace "value" by "<result>" in the SMT model
Diffstat (limited to 'libsolidity/formal/SSAVariable.cpp')
0 files changed, 0 insertions, 0 deletions