search

formalsec / smtml

A frontend for multiple SMT solvers in OCaml
https://formalsec.github.io/smtml/smtml/
MIT License
27 stars 8 forks source link

Update benchmarking dataset submodules #226

Closed filipeom closed 1 month ago

filipeom commented 1 month ago

Adds two directories to bench/ for submodules:

filipeom commented 1 month ago

@joaomhmpereira Is this correct? Am I missing some submodule?

joaomhmpereira commented 1 month ago

Yes, I think it's correct