test_prop_bad_arg.golden

******************** tasty-autocollect failure ********************
test_prop expected a String for the name of the test.
Got: 11