ViewVC logotype

Revision 97812

Jump to revision: Previous Next
Author: maxpei
Date: Thu Aug 13 14:11:38 2015 UTC (4 years, 1 month ago)
Changed paths: 1
Log Message:
Fixed a bug in the precondition satisfaction strategy of AutoTest.
Problem: when there are many predicates to satisfy and each has many candidates, the time to try out all the combinations is prohibitively long.
Fix: limit the maximum number of combinations examined.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/auto_test/utils/contract_evaluation/predicate_pool/aut_predicate_pool.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23