Write claims for functions that calculates the largest number of a list of integers.

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Write claims for functions that calculates the largest number of a list of integers. #224

Closed ChristianoBraga closed 2 years ago

ChristianoBraga commented 2 years ago

The third task of Milestone 2 is about verify properties about low-level operations in UPLC. This issue does this for the function that calculates the largest number in a list of integers.