Execution of "se test" started: Tuesday July 1 4:13:51 2025
                    terminated: Tuesday July 1 4:14:35 2025
(44 elapsed seconds in "/home/et/Liberty/test/language/assertion/flat_check/".)