lars
committed
on 04 Sep 03
Added option to verify that the implementation implements the contract you think