Co-Authored-By: Sergei Pepyakin <s.pepyakin@gmail.com>
This commit is contained in:
Jim Posen 2019-07-25 12:37:57 +02:00 committed by GitHub
parent f8673d5b87
commit 5792da28d5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,7 +5,7 @@
//! functionality, then ensure for all functions defined, in all execution paths though the //! functionality, then ensure for all functions defined, in all execution paths though the
//! function body that do not trap that the amount of gas charged by the proposed metering //! function body that do not trap that the amount of gas charged by the proposed metering
//! instructions is correct. This is done by constructing a control flow graph and exhaustively //! instructions is correct. This is done by constructing a control flow graph and exhaustively
//! searching though all paths, which may take exponential time in the size of the function body in //! searching through all paths, which may take exponential time in the size of the function body in
//! the worst case. //! the worst case.
use super::MeteredBlock; use super::MeteredBlock;