Internal properties of the window manager are checked using a combination of static guarantees provided by the type system, and type-based automated testing.
Internal properties of the window manager are checked using a combination of static guarantees provided by the type system, and type-based automated testing.