Test a Smart Contract in Solidity with Constrained and Fuzzed Inputs

Here in the same file, Contract.t.sol, we'll test your smart contract's increment and decrement functions. We will learn about how Forge will fuzz tests and how to properly constrain the vm object to ensure you are testing it under the right specific conditions.