-
Akim Demaille authored
* tests/python/push-weights.py: Use CHECK_EQUIV instead of checking the equality of the valuation for some words.
2a9336b7
* tests/python/push-weights.py: Use CHECK_EQUIV instead of checking the equality of the valuation for some words.