search

testsmt / yinyang

A fuzzing framework for SMT solvers
https://testsmt.github.io/
MIT License
185 stars 23 forks source link

Include name of all seeds in bug log #50

Closed lweitzendorf closed 2 years ago

lweitzendorf commented 2 years ago

The current version of yinyang only uses the last processed seed in the name of the bug log. This is not ideal if multiple seeds are used to trigger the bug, such as in semantic fusion.

muchang commented 2 years ago

Closed by https://github.com/testsmt/yinyang/pull/49#issuecomment-1192946431.