MSL regression testing started in 2014. See #1392 and MSLRegressionTesting.pdf for the documentation. Check the created file "log_failed.txt" for all models that fail the pedantic translation and ...