@ -33,6 +33,9 @@ char const* Version = ETH_PROJECT_VERSION;
const u256 UndefinedU256 = ~(u256)0;
unsigned char s_cleanseCounter = 0;
boost::random_device s_vectorRefEngine;
void InvariantChecker::checkInvariants(HasInvariants const* _this, char const* _fn, char const* _file, int _line, bool _pre)
{
if (!_this->invariants())
@ -12,8 +12,8 @@
namespace dev
static unsigned char s_cleanseCounter = 0;
static boost::random_device s_vectorRefEngine;
extern unsigned char s_cleanseCounter;
extern boost::random_device s_vectorRefEngine;
/**
* A modifiable reference to an existing object or vector in memory.