Clone
Till Westmann
committed
on 10 Jun 17
Support IFrameWriter contract check.
- add a instance-level flag for injecting operators to
check IFrameWriter contract violations;
- chec… Show more
Support IFrameWriter contract check.

- add a instance-level flag for injecting operators to

 check IFrameWriter contract violations;

- check contract violations in runtime tests.

Change-Id: I9827b06f640858f27ec1bcca2a39991780bee3b1

Reviewed-on: https://asterix-gerrit.ics.uci.edu/1618

Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

BAD: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Reviewed-by: Yingyi Bu <buyingyi@gmail.com>

Show less

master + 4 more