Updated test driver and documentation to use error_set/2