Execution of "se test" started: Sunday December 28 1:26:29 2025
                    terminated: Sunday December 28 1:27:9 2025
(40 elapsed seconds in "/home/et/Liberty/test/language/assertion/flat_check/".)