ViewVC logotype

Revision 86336

Jump to revision: Previous Next
Author: jasonw
Date: Tue Apr 26 14:24:34 2011 UTC (8 years, 4 months ago)
Changed paths: 1
Log Message:
Fixed a bug in AutoInfer which ignored the max-tc-number option when loading SSQL files.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/contract_inference/command/ci_infer_contract_cmd.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23