diff --git a/core/tests/trust_tests.adb b/core/tests/trust_tests.adb index e47ab3a..f71f396 100644 --- a/core/tests/trust_tests.adb +++ b/core/tests/trust_tests.adb @@ -1,3 +1,7 @@ +-- this whole file is ad hoc and a placeholder +-- as a whole, this is out of date and needs correction + + pragma SPARK_Mode (Off); -- test harness uses Ada.Text_IO with Ada.Text_IO; use Ada.Text_IO; with Trust_Boundary;