Execution of "se test" started: Thursday July 14 14:48:51 2022
                    terminated: Thursday July 14 15:20:22 2022
(1891 elapsed seconds in "/home/et/Liberty/test/language/assertion/".)