Testgen methodology document

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

5 stars 2 forks source link

Testgen methodology document #1078

Closed rtadros125 closed 3 years ago

rtadros125 commented 3 years ago

Answers to the fourth task of #1016

Write the document besspinPhilosophy + clarification to the SEGFAULT situation
Clean up some non-sense in SCORES

rtadros125 commented 3 years ago

I will merge because this becomes blocking to the big renaming PR. For any modifications request, please comment here or on the codes, and I will apply them after the renaming PR.