search

GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
15 stars 2 forks source link

PPC64 `malloc-simple` binary fails due to `MissingTOCEntry` failiure #350

Closed RyanGlScott closed 3 months ago

RyanGlScott commented 10 months ago

After #349, the PPC32 malloc-simple test cases now pass. The PPC64 version of malloc-simple still fails, however:

$ cabal run pate-test-ppc -- -p malloc-simple
ppc
  equivalence
    tests/ppc/malloc-simple
      original-self: FAIL
        Exception: MissingTOCEntry 0x100002e0
        Use -p '/malloc-simple/&&/original-self/' to rerun this test only.
      patched-self:  FAIL
        Exception: MissingTOCEntry 0x100002e0
        Use -p '/malloc-simple/&&/patched-self/' to rerun this test only.
      equivalence:   FAIL
        Exception: MissingTOCEntry 0x100002e0
        Use -p '/malloc-simple/&&/tests\/ppc\/malloc-simple.equivalence/' to rerun this test only.
  inequivalence
    tests/ppc/unequal/malloc-simple
      equivalence:   FAIL
        Exception: MissingTOCEntry 0x100002e0
        Use -p '/malloc-simple/&&/tests\/ppc\/unequal\/malloc-simple.equivalence/' to rerun this test only.

4 out of 4 tests failed (2.02s)

We should investigate why.