basic running of specification tests