search

testsmt / yinyang

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

reset timeout_of_current_seed #48

Closed altinal closed 2 years ago

altinal commented 2 years ago

This var needs to be 0 before starting iteration on a new seed