[assist-dv] Fix check_INTERFACE for no substantial checks. (#996)

ge-high-assurance · Aug 25, 2023 · 6ea2506 · 6ea2506
1 parent b356947
commit 6ea2506
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/assist/bin/checks/interfaceChecks.pl b/assist/bin/checks/interfaceChecks.pl
@@ -48,6 +48,6 @@
 %! check_INTERFACE is det.
 %
 %    Performs all checks for INTERFACEs.  Always succeeds, emits warnings.
-check_INTERFACE(IFACE).
+check_INTERFACE(IFACE) :- IFACE = 0, fail.
 %    check_INTERFACE_no_dest_SYSTEM(IFACE);
 %    check_INTERFACE_no_src_SYSTEM(IFACE).