// SPDX-License-Identifier: MIT pragma solidity ^0.8.19; // unit // integrations // fork test // staging // fuzzing // statefull fuzz // stateless fuzz // formal verfiication - mathmatical proof