balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Proto: fix level_in_cycle.

Browse Source 
It was missing the initial 'hop' by `Storage.first_level`.
This commit is contained in:
Grégoire Henry 2017-09-22 17:35:12 +02:00 committed by Grégoire
parent e440dfea18
commit 1af2885d72
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/proto/alpha/level_storage.ml
View File

@ -41,9 +41,14 @@ let previous ctxt =
let first_level_in_cycle ctxt c = let first_level_in_cycle ctxt c =
let constants = Storage.constants ctxt in let constants = Storage.constants ctxt in
let first_level = Storage.first_level ctxt in
from_raw ctxt from_raw ctxt
(Raw_level_repr.of_int32_exn (Raw_level_repr.of_int32_exn
(Int32.mul constants.Constants_repr.cycle_length (Cycle_repr.to_int32 c))) (Int32.add
(Raw_level_repr.to_int32 first_level)
(Int32.mul
constants.Constants_repr.cycle_length
(Cycle_repr.to_int32 c))))
let last_level_in_cycle ctxt c = let last_level_in_cycle ctxt c =
match pred ctxt (first_level_in_cycle ctxt (Cycle_repr.succ c)) with match pred ctxt (first_level_in_cycle ctxt (Cycle_repr.succ c)) with