Closed
Description
tastyBootstrap tests separate compilation, but does not clean its output directory before doing so. This can lead to misleading results, and may also fail when the output directory contains outdated TASTY sections.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests