Skip to content
Snippets Groups Projects
user avatar
Kostyantyn Vorobyov authored
[Makefile] Renamed e-acsl-runtime and e-acsl-reject test directories to runtime and reject respectively
19e1ce3f
History