GaloisInc / pate

Patches Assured up to Trace Equivalence

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

RyanGlScott opened this issue · comments

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.