smack icon indicating copy to clipboard operation
smack copied to clipboard

Published 20 hours ago • verified publisher icon smackers

Fixes to run SMACK on modern macOS

Open keram88 opened this issue 2 years ago • 0 comments

This PR addresses the following:

  • Improves path manipulation in regtest.py to be more compatible with macOS (based on work by @shaobo-he)
  • Extends the expected name for bc files generated by cargo to support an optional 16 digit hash

Co-authored-by: @shaobo-he

keram88 avatar Jul 01 '22 20:07 keram88