Jasmin testcases using spy function