Example of testing with mini-test