Add the _runs parameter.

This commit is contained in:
chriseth
2016-12-01 16:04:00 +01:00
parent 4c15c465ef
commit f1907bbb12
2 changed files with 3 additions and 3 deletions
+1 -1
View File
@@ -120,7 +120,7 @@ public:
);
/// Parses and compiles the given source code.
/// @returns false on error.
bool compile(std::string const& _sourceCode, bool _optimize = false);
bool compile(std::string const& _sourceCode, bool _optimize = false, unsigned _runs = 200);
/// Tries to translate all source files into a language suitable for formal analysis.
/// @param _errors list to store errors - defaults to the internal error list.