[Test] Tests as contracts
Tests should be contracts, and therefore verifiable.
(from redmine: issue id 2352, created on 2015-06-11, closed on 2019-06-03)
- Relations:
- precedes #2712 (closed)
Tests should be contracts, and therefore verifiable.
(from redmine: issue id 2352, created on 2015-06-11, closed on 2019-06-03)