/[eiffelstudio]
ViewVC logotype

Revision 85826


Jump to revision: Previous Next
Author: jasonw
Date: Wed Mar 9 16:29:03 2011 UTC (8 years, 6 months ago)
Changed paths: 7
Log Message:
1. Added code to perform expression evaluation in AutoTest, and connected the code with precondition reduction strategy.
2. Some refactoring in the interpreter by replacing constant values with the proper constant features.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/auto_test/proxy/aut_interpreter_proxy.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/proxy/request/aut_expression_evaluation_request.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/statistics/deserialization/aut_test_case_summarization.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/program_analysis/expression/state/epa_state.e modified , text changed
Directorybranches/eth/eve/Src/framework/program_analysis/utility/epa_utility.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