|
@@ -82,7 +82,7 @@ rule sanityCheckVoteEnd(method f, uint256 pId) {
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
////////////////////////////// INVARIANTS ////////////////////////////////////
|
|
////////////////////////////// INVARIANTS ////////////////////////////////////
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
-//
|
|
|
|
|
|
|
+//
|
|
|
|
|
|
|
|
/**
|
|
/**
|
|
|
* A proposal cannot end unless it started.
|
|
* A proposal cannot end unless it started.
|
Michael M