Closed marcomariscal closed 2 years ago
formats the invariant result to look like 1.15 to x decimal places (if the invariant result is "1.15"); this mirrors the smart contract implementation.
1.15
also includes a simple invariant test against desmos.
formats the invariant result to look like
1.15to x decimal places (if the invariant result is "1.15"); this mirrors the smart contract implementation.also includes a simple invariant test against desmos.