Skip to content
Snippets Groups Projects
Verified Commit a4316826 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
parent 621134b8
No related branches found
No related tags found
Loading
Checking pipeline status
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment