Skip to content
Sign in
Success

#477 (Apr 6, 2026, 3:45:08 AM)

Started 10 hr ago
Took 11 min

Started by an SCM change

Revision: ade04bc5f34f27f24098e62cf60f73285291788d
Repository: https://github.com/larson-group/sam_clubb.git
  • refs/remotes/origin/master
Changes
  1. Making run_bindiff_w_flags.py faster by calling run_scm.py directly and parallelizing over all cases/flag sets, rather than just calling run_scm_all.py and parallelizing over each flag batch. Also fixing a little stats bug that caused the time string to have weird trailing characters, and removing a little states print (details / githubweb)