Add variants to test 128

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

5 stars 2 forks source link

Closed rtadros125 closed 3 years ago

rtadros125 commented 3 years ago

Closes #1231

Re-write test 128 to include addition variant -- still static constants. Also, removed the malloc(0) parts; what was the point anyway?
fix a bug in scoreTests
Update ci/configs.py

rtadros125 commented 3 years ago

Will just merge to prepare for the upcoming release.