Adding test.check to speclj tests
My first property based test failure
My first property based bug fix