Commit Graph

1 Commits

Author SHA1 Message Date
Piotr Tabor
d69e07dd3a Verification framework and check whether cindex is not decreasing. 2022-04-22 12:32:05 +02:00