[TIMOB-15969] Code Analyzer: error analyzing the Alloy TODO sample app
| GitHub Issue | n/a |
|---|---|
| Type | Bug |
| Priority | Medium |
| Status | Closed |
| Resolution | Cannot Reproduce |
| Resolution Date | 2014-04-10T19:06:30.000+0000 |
| Affected Version/s | Release 3.2.0 |
| Fix Version/s | 2014 Sprint 07, 2014 Sprint 07 Tooling, Release 3.3.0 |
| Components | Code Processor |
| Labels | qe-3.2.0 |
| Reporter | Federico Casali |
| Assignee | Praveen Innamuri |
| Created | 2013-12-12T01:56:13.000+0000 |
| Updated | 2017-03-17T18:21:06.000+0000 |
Description
Attachments
| File | Date | Size |
|---|---|---|
| Screen Shot 2013-12-11 at 5.49.01 PM.png | 2013-12-12T02:02:06.000+0000 | 37613 |
| todo.zip | 2013-12-12T01:56:13.000+0000 | 6015236 |
I can not reproduce this problem any more. The code analysis for a sample Alloy project finishes successfully even when all the options in code analyzer are enabled in preferences.
Closing ticket as the issue cannot be reproduced.