The last time I bought a license for AdaCore it was to get the unit testing, static analysis and dynamic analysis tools IIRC but, that was about 8-9 years ago. We also paid for training from AdaCore and their main guy came out.

▲

monkeyelite 2 days ago | parent [-]

How would you rate that experience?

	▲	firesteelrain 2 days ago \| parent [-]
		AdaCore produces a good product and their technical team is top notch.