Add ADR outlining rationale for libcprover-cpp and goto-bmc integration #4308

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	1h 27m 11s
Analyze (java)	23m 10s
Analyze (javascript)	22m 17s
Analyze (python)	24m 0s
	2h 36m 38s