ThreatModels: Expose knownThreatModel

Without, it's impossible to write test showing what threat-models are
active by default... unless I provide a hardcoded list in the test
itself, which is not any fun.
This commit is contained in:
Rasmus Wriedt Larsen
2024-08-09 11:21:51 +02:00
parent 5ec8e5dd30
commit 766dcc4dd6

View File

@@ -29,7 +29,7 @@ extensible predicate threatModelConfiguration(string kind, boolean enable, int p
extensible private predicate threatModelGrouping(string kind, string group);
/** Holds if the specified threat model kind is mentioned in either the configuration or grouping table. */
private predicate knownThreatModel(string kind) {
predicate knownThreatModel(string kind) {
threatModelConfiguration(kind, _, _) or
threatModelGrouping(kind, _) or
threatModelGrouping(_, kind) or