Now we update the db everytime the task completition is stored to db. When a task fails and do not have versions set, it can then create new tool without versions and make the db inconsistent.
Solution: update this table in init of MysqlReporter.
add klee version (and maybe other i. e. symbiotic distribution) to versions
Now we update the db everytime the task completition is stored to db. When a task fails and do not have versions set, it can then create new tool without versions and make the db inconsistent.
Solution: update this table in init of MysqlReporter.
we need to know versions of everything.