Skip to content

T
tiamo
Commit 5ee961ea authored by Maximilien Colange's avatar Maximilien Colange
Browse files
Options

README file for benchmarks

parent 32c11c17
Hide whitespace changes
Inline Side-by-side
Showing with 4 additions and 0 deletions
README-tacas2017 0 → 100644
View file @ 5ee961ea
Install TiAMo (see README.md)
Then, in the tests directory, run "./bench.sh"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment