database: Add "db-restart-evaluation!" support.
* src/cuirass/database.scm (db-restart-evaluation!): New procedure. * tests/database.scm (db-restart-evaluation!): New test.
Please register or sign in to comment
* src/cuirass/database.scm (db-restart-evaluation!): New procedure. * tests/database.scm (db-restart-evaluation!): New test.