Skip to content
Sign in
Success

#631 (Apr 6, 2026, 3:11:07 AM)

Started 6 mo 17 days ago
Took 1 min 31 sec

Started by an SCM change

Revision: b2e170923249df969fc5b3c0057edce4c1138e7d
Repository: https://github.com/larson-group/clubb.git
  • refs/remotes/origin/master
Tiny fixes to scripts
( 0c70975 )
Gunther Huebler at
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
( b2e1709 )
Gunther Huebler at