Commit 6e6d610e authored by Tomáš Strachoň's avatar Tomáš Strachoň
Browse files

Merge branch '07-compute-results' into 'main' 

Readme and Results computation

See merge request xstrach/sv-comp!7
parents bdf15cde c0751a21
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment