Reenable the `formal_epoch_reciprocity_tdb` formal verification test
ChristopherRabotin opened this issue · comments
Chris commented
Once model-checking/kani#2049 has been addressed, then I should be able to reenable the TDB reciprocity test in epoch.rs
.
The original issue in Kani has been reported here: model-checking/kani#1342 .