edoggy commited on
Commit
4ebb0ca
·
verified ·
1 Parent(s): 07081b5

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -113,7 +113,7 @@ ls poc_out/ # every test the model wrote, e.g. PoC_1.t.sol
113
 
114
  ## Results
115
 
116
- Tested on 22 real bugs from 2025 contests it never saw:
117
 
118
  | model | bugs proven | tests that ran |
119
  |---|---|---|
 
113
 
114
  ## Results
115
 
116
+ Tested on 22 real bugs from 2025 it never saw:
117
 
118
  | model | bugs proven | tests that ran |
119
  |---|---|---|