Execution of "se test" started: Friday July 31 15:22:12 2026
                    terminated: Friday July 31 15:54:2 2026
(1910 elapsed seconds in "/home/et/Liberty/test/language/assertion/".)