search

cuplv / verivita

Dynamic verification using callbacks
2 stars 1 forks source link

Fix #142 #143

Closed smover closed 7 years ago

smover commented 7 years ago

Fix regression in the last changes (code not tested before)