TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / TF-RMM / tf-rmm / 83a45bd9ee1effd1515dd41494303cf04cc67afe / . / tools / cbmc / testbenches_results / BASELINE.analysis
blob: 5e9e8b0e9c796c4d677950a3d43310b887f11539 [file] [log] [blame]
+--------------------------------------+--------------------------------------+
| FILENAME | ANALYSIS |
+--------------------------------------+--------------------------------------+
| tb_rmi_granule_delegate.c | 9 of 363 failed (6 iterations) |
+--------------------------------------+--------------------------------------+
| tb_rmi_granule_undelegate.c | 8 of 361 failed (5 iterations) |
+--------------------------------------+--------------------------------------+