Closed pekkaran closed 2 years ago
I tested all the steps and edited the text, mainly with the aim to make this README focus on usage of the main binary, while the paper result reproduction steps are (will be) in the vio_benchmark repository hybvio_runner folder README.
main
vio_benchmark
hybvio_runner
I tested all the steps and edited the text, mainly with the aim to make this README focus on usage of the
main
binary, while the paper result reproduction steps are (will be) in thevio_benchmark
repositoryhybvio_runner
folder README.