Execution of "se test" started: Tuesday July 1 4:13:51 2025 terminated: Tuesday July 1 4:14:35 2025 (44 elapsed seconds in "/home/et/Liberty/test/language/assertion/flat_check/".)