Merge pull request #24 from crytic/montyly-patch-1

Update README.md
crytic · Mar 25, 2024 · 8d7a1fa · 8d7a1fa
2 parents 2665811 + 001f4c6
commit 8d7a1fa
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+**This work is pending a "Double-Anonymous" submission. Do not read the following to maintain the submission rules** 
+
 # Diffusc: Differential Fuzzing of Upgradeable Smart Contract Implementations
 
 `diffusc` is a tool for automatically generating differential fuzz testing contracts for comparing two smart contract implementations. It takes a generalized approach to detect discrepancies (hopefully unexpected) between any two implementation contracts, so as to prevent the introduction of bugs and vulnerabilities during a smart contract upgrade.