ViewVC logotype

Revision 86272

Jump to revision: Previous Next
Author: jasonw
Date: Mon Apr 18 12:02:23 2011 UTC (8 years, 4 months ago)
Changed paths: 5
Log Message:
1. Fixed an integer overflow problem during linear constraint solving in precondition-satisfication.
2. Fixed a call on void target problem in agent creation.
3. Fixed a problem in precondition-reduction which caused multiple testing processes to be launched.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/auto_test/strategy/precondition_reduction/aut_precondition_reductor.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/strategy/random/aut_random_agent_creator.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/strategy/random/aut_random_input_creator.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/utils/erl_g_type_routines.e modified , text changed
Directorybranches/eth/eve/Src/framework/auto_test/utils/object_state/aut_abstract_integer.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23