Skip to content

Commit

Permalink
feat:add seahorn source link
Browse files Browse the repository at this point in the history
  • Loading branch information
@priyasiddharth
priyasiddharth authored Jun 7, 2024
1 parent 2dbe861 commit 6aaef9f
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,3 +32,7 @@ The results will be in five files. Copy these files to host for analysis.
'results_write_handshake_main.json'
'result_many_buffers.json'
```

## SEABMC sources

The modified SEABMC sources can be found in [this](https://github.com/priyasiddharth/seahorn/tree/ownsem) repo.

0 comments on commit 6aaef9f

Please sign in to comment.