Execution of "se test" started: Monday May 13 17:40:14 2024
                    terminated: Monday May 13 17:40:53 2024
(39 elapsed seconds in "/home/et/Liberty/test/language/assertion/flat_check/".)