Unit tests for summarize module

Fix off-by-one error in proof summary count (#207) #196

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Python 3.8	2s
Python 3.9	3s
Python 3.10	4s
	9s