Added Makefile

2024-08-17 01:50:54 +08:00
parent 47393f36ad
commit d65d7966bf
4 changed files with 72 additions and 12 deletions
@@ -0,0 +1,12 @@
+// SPDX-License-Identifier: MIT
+
+pragma solidity ^0.8.19;
+// unit
+// integrations
+// fork test
+// staging
+
+// fuzzing
+// statefull fuzz
+// stateless fuzz
+// formal verfiication - mathmatical proof