Completed testing of the specifications