Specify a report resulting from a
A minimal report to count the results.
A report that store the test case results inside CSV file (one file per constraint).
A report where the results that validate a predicate are stored for a latter analysis.
Copyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.