jasder
/
home
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update README.md

This commit is contained in:
The-Themis-Benchmarks 2021-06-05 04:43:19 +02:00 committed by GitHub
parent fd66e78db0
commit 31c0452f80
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -1,3 +1,5 @@
[![DOI](https://zenodo.org/badge/290040967.svg)](https://zenodo.org/badge/latestdoi/290040967)
# The Themis Benchmark
Themis is a collection of real-world, reproducible crash bugs (collected from