src/Testcases/YosysTests/verific/sva/.gitignore - third_party/Surelog - Git at Google

 /*.log
 /*.status
 /*.pass_[0-9][0-9]/
 /*.fail_[0-9][0-9]/
 /*.pass_[0-9][0-9].sby
 /*.fail_[0-9][0-9].sby
 /.stamp
	/*.log
	/*.status
	/*.pass_[0-9][0-9]/
	/*.fail_[0-9][0-9]/
	/*.pass_[0-9][0-9].sby
	/*.fail_[0-9][0-9].sby
	/.stamp