Disable warnings that don't hold for our data

ge-high-assurance · Aug 24, 2023 · b356947 · b356947
1 parent f693f76
commit b356947
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
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_no_dest_SYSTEM(IFACE);
-    check_INTERFACE_no_src_SYSTEM(IFACE).
+check_INTERFACE(IFACE).
+%    check_INTERFACE_no_dest_SYSTEM(IFACE);
+%    check_INTERFACE_no_src_SYSTEM(IFACE).
diff --git a/assist/bin/checks/srs_checks.pl b/assist/bin/checks/srs_checks.pl
@@ -117,6 +117,6 @@
 %    Performs all checks for SRS classes.  Always succeeds, emits warnings.
 check_SRS(SRS) :-
     check_SRS_insertion_source(SRS);
-    check_SRS_Req_CSID_or_PIDS(SRS);
-    check_SRS_Req_description(SRS);
-    check_SubDD_Req_satisfies_SRS_Req(SRS).
+    check_SRS_Req_CSID_or_PIDS(SRS).
+%   check_SRS_Req_description(SRS);
+%   check_SubDD_Req_satisfies_SRS_Req(SRS).