/[eiffelstudio]
ViewVC logotype

Revision 85991


Jump to revision: Previous Next
Author: jasonw
Date: Thu Mar 24 20:23:05 2011 UTC (8 years, 5 months ago)
Changed paths: 24
Log Message:
Enhanced precondition-reduction startegy.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/auto_test/auto_test_command_line_parser.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/proxy/aut_proxy_log_text_stream_printer.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/proxy/request/aut_batch_assignment_request.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/proxy/request/aut_request_text_printer.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/strategy/precondition_reduction/aut_feature_precondition_breaker.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/strategy/precondition_reduction/aut_precondition_reduction_strategy.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/strategy/precondition_reduction/aut_prestate_invariant_loader.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/strategy/precondition_reduction/aut_queryable_queryable_retriever.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/contract/epa_interesting_expression_finder.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/contract/epa_simple_function_postcondition_generator.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/expression/analyzer/epa_operand_comparison_finder.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/expression/epa_expression_evaluator.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/utility/epa_feature_call_finder.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/utility/epa_string_utility.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/utility/epa_utility.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/command/sem_generate_daikon_invariant_cmd.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/command/sem_validate_implication_cmd.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/database/semq_utility.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/kernel/sem_arff_to_daikon_generator.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/query/sem_property_printer.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/query/sem_simple_query_generator.e modified , text changed
Directorybranches/eth/eve/Src/framework/semantic_search/utility/sem_utility.e modified , text changed
Directorybranches/eth/eve/Src/library/logging/elog_file_logger.e modified , text changed
Directorybranches/eth/eve/Src/library/testing/etf/interpreter/itp_interpreter.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23