[Fix] Check max number of tests after reset#90

emuskardin merged 1 commit intoDES-Lab:masterDES-Lab/AALpy:masterfrom

chengw97:masterchengw97/AALpy:masterCopy head branch name to clipboard