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