Execution of "se test" started: Sunday August 24 18:18:53 2025
                    terminated: Sunday August 24 18:19:31 2025
(38 elapsed seconds in "/home/et/Liberty/test/language/assertion/flat_check/".)