GitBross Halaman utama Jelajahi Bantuan
Daftar Masuk
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Berkas Masalah 0 Permintaan Tarik 0 Wiki
Jelajahi Sumber

Hooks fixed

Michael M 4 tahun lalu
induk
69f87ad916
melakukan
e888ea4ccb
1 mengubah file dengan 1 tambahan dan 1 penghapusan
Tampilan Split Tampilkan Statistik Diff
  1. 1 1
      certora/specs/GovernorBase.spec

+ 1 - 1
certora/specs/GovernorBase.spec
Tampilan Berkas 

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