search

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Remove type funtion calls from tests #8

Closed mariaKt closed 1 month ago

mariaKt commented 1 month ago

This PR removes the type function calls currently present in the tests. It was only used in expressions of the form

type(uint*).max

I opted to use a variable that stores the expected value and use it instead of the function call.

We can make it a constant when/if these are planned.

Edit: Resolves #1750