Execution of "se test" started: Monday February 26 14:43:10 2024
                    terminated: Monday February 26 14:43:49 2024
(39 elapsed seconds in "/home/et/Liberty/test/language/assertion/flat_check/".)