Skip to content
Snippets Groups Projects
Verified Commit 09c38eb0 authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Fix check for the presence of ramsey_{model,policy} when ramsey_constraints is used

The existing check would incorrectly fail if ramsey_constraints appeared before
ramsey_{model,policy}.

Also, the check would not terminate the processing in case of error.

Closes: #91
(cherry picked from commit a4316826)
parent d3345c88
No related branches found
No related tags found
No related merge requests found
Pipeline #6934 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment