All the ptr perms are initialized to UNIQUE, which we forgot in a396cde371c8b22084b2e10557bed571534db6bf. Since we know the perms exactly, we should be able to overwrite this, but we need to remove UNIQUE before asserting the initial perms are empty.
This also truncates the c2rust-analyze output printed to stderr when it's super long to avoid lagging stderr. The full output is always available in *.analysis.txt and the first and last 50000 chars are printed instead now. The test that was failing was lighttpd_minimal, which has a huge *.analysis.txt, and that made it much harder to find the actual error, so I added this.
All the ptr perms are initialized to
UNIQUE, which we forgot in a396cde371c8b22084b2e10557bed571534db6bf. Since we know the perms exactly, we should be able to overwrite this, but we need to removeUNIQUEbefore asserting the initial perms are empty.This also truncates the
c2rust-analyzeoutput printed tostderrwhen it's super long to avoid laggingstderr. The full output is always available in*.analysis.txtand the first and last 50000 chars are printed instead now. The test that was failing waslighttpd_minimal, which has a huge*.analysis.txt, and that made it much harder to find the actual error, so I added this.