Code

Handle globals in x86 postconditons.#795

Code

Merged

andreistefanescu merged 1 commit intomasterGaloisInc/saw-script:masterfrom x86-resolve-ptrGaloisInc/saw-script:x86-resolve-ptrCopy head branch name to clipboardJul 24, 2020

+18-7

Commits

Commits on Jul 24, 2020

• Handle globals in x86 postconditons.

  andreistefanescu

  committed
  b3dbbd3

  Copy full SHA for b3dbbd3