You can also add –watch for stainless to automatically run on file save: “ shell stainless –timeout=5 –watch Sublist.scala “ You are not allowed to change the definition of sublist or the statement ...