enable and fix TestTotalOrdering
1 file changed