Analyzed 1 packages
============================================
 Unsupported feature |   Crates | Instances
                     | impacted |    of use
---------------------+----------+-----------
 try                 |        1 |         2
============================================
=========================================
 Reason for failure    | Number of tests
-----------------------+-----------------
 none (success)        |               2
 unsupported_construct |               2
=========================================
======================================================================================================
 Candidate for proof harness   | Location
-------------------------------+----------------------------------------------------------------------
 a_supported_test_from_tests   |
 a_supported_test_from_the_lib |
======================================================================================================