FreeBSD-main-amd64-test - Build #24260 - Still Unstable

FreeBSD-main-amd64-test - Build #24260 (f34c9c4e3bdc2b8bffae4ac26897e0e847e9f76f) - Still Unstable

Build information: https://ci.FreeBSD.org/job/FreeBSD-main-amd64-test/24260/
Full change log: https://ci.FreeBSD.org/job/FreeBSD-main-amd64-test/24260/changes
Full build log: https://ci.FreeBSD.org/job/FreeBSD-main-amd64-test/24260/console

Status explanation:
"Unstable" - some tests are suspected being broken by the following changes
"Still Unstable" - the failing test cases have not been fixed by these
                   following changes and this is a notification to note that
                   these changes have not been fully tested by the CI system

Change summaries:
(Those commits are likely but not certainly responsible)

f34c9c4e3bdc2b8bffae4ac26897e0e847e9f76f by zlei:
veriexec: Correctly export symbols



The failed test cases:

3 tests failed.
FAILED:  sys.netinet6.proxy_ndp.pndp_neighbor_advert

Error Message:
atf-check failed; see the output of the test for details

FAILED:  sys.netinet6.frag6.frag6_19.frag6_19

Error Message:
Global IPv6 statistics do not match: 19 != 20

FAILED:  sys.fs.tmpfs.times_test.empty

Error Message:
Incorrect atime