Test CBMC starter-kit by using coreHTTP

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Python 3.8	51s
Python 3.9	57s
Python 3.10	52s
	2m 40s