In order to reduce the duration of the "mzn" test suite , because it is very unstable, I investigate objects creation during propagation and found out 2 memory leaks.
Once corrected, the testThemAll tests went from 5m30 to 4m30 on my machine (decrease of about 18%).
In order to reduce the duration of the "mzn" test suite , because it is very unstable, I investigate objects creation during propagation and found out 2 memory leaks. Once corrected, the
testThemAll
tests went from 5m30 to 4m30 on my machine (decrease of about 18%).@fhermeni I also fixed a leak that you noticed.