Code

Issue642#752

Code

Merged

brianhuffman merged 3 commits intomasterGaloisInc/saw-script:masterfrom issue642GaloisInc/saw-script:issue642Copy head branch name to clipboardJun 19, 2020

+123-25

Commits

Commits on Jun 19, 2020

• Factor out inner function from enforceDisjointness.

  

  Brian Huffman

  committed
  bdacfcc

  Copy full SHA for bdacfcc

• Check disjointness between allocations and LLVM globals.

  

  Brian Huffman

  committed
  4912fdd

  Copy full SHA for 4912fdd

• Add regression test for issue #642.

  

  Brian Huffman

  committed
  dc2108e

  Copy full SHA for dc2108e