Code

Comment out the xor_swap_rust proof#1450

Code

Merged

m-yac merged 1 commit intomasterGaloisInc/saw-script:masterfrom heapster-fix-xor-swap-rust-exampleGaloisInc/saw-script:heapster-fix-xor-swap-rust-exampleCopy head branch name to clipboardSep 3, 2021

+8-5

Commits

Commits on Sep 3, 2021

• commented out xor_swap_rust proof, which should get fixed in the future...

  

  Eddy Westbrook

  committed
  3cb7ceb

  Copy full SHA for 3cb7ceb