/[eiffelstudio]
ViewVC logotype

Revision 85737


Jump to revision: Previous Next
Author: jasonw
Date: Sun Feb 27 21:11:15 2011 UTC (8 years, 6 months ago)
Changed paths: 7
Log Message:
Added precondition into consideration when searching for objects violating given invariants.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/auto_test/strategy/precondition_reduction/aut_precondition_reduction_strategy.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/solver_utility/epa_shared_class_theory.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/solver_utility/epa_solver_expression_generator.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/solver_utility/epa_theory.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/database/semq_whole_queryable_query_executor.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/query/sem_simple_query_generator.e modified , text changed
Directorybranches/eth/eve/Src/library/mysql/mysql.ecf modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23