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