/[eiffelstudio]/branches/eth/eve/Src/framework/code_analysis/rules/control_structures/ca_object_test_always_succeeds_rule.e
ViewVC logotype

Log of /branches/eth/eve/Src/framework/code_analysis/rules/control_structures/ca_object_test_always_succeeds_rule.e

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Revision:

Revision 96896 - (view) (annotate) - [select for diffs]
Modified Mon Mar 23 03:09:39 2015 UTC (4 years, 6 months ago) by schmisam
File length: 4746 byte(s)
Diff to previous 96890
Changed .node_type calls to account for void types.

Revision 96890 - (view) (annotate) - [select for diffs]
Added Sat Mar 21 05:47:55 2015 UTC (4 years, 7 months ago) by schmisam
File length: 4120 byte(s)
Added rule #9.
Added rule #29.
Added fix for rule #9.
Added fix for rule #29.
Added fix for rule #7.
Fixed bug in CA_ALL_RULES_CHECKER with binary constructs not executing post actions.
Added bin_ne equation to ca_all_rules_checker.
Removed 009_useless_contract from tests.
Added new void-safe test project.
Minor Refactoring.

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.23