TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / TF-RMM / tf-rmm / 83a45bd9ee1effd1515dd41494303cf04cc67afe / . / tools / cbmc / testbenches_results / BASELINE.assert
blob: 7ebd935e497e16c6f07441514f8024bf30d42988 [file] [log] [blame]
+--------------------------------------+--------------------------------------+
| FILENAME | ASSERT |
+--------------------------------------+--------------------------------------+
| tb_rmi_granule_delegate.c | 0 of 40 failed (1 iterations) |
+--------------------------------------+--------------------------------------+
| tb_rmi_granule_undelegate.c | 0 of 40 failed (1 iterations) |
+--------------------------------------+--------------------------------------+