Project

General

Profile

Bug #1167

Currently we allow unsupported verification conditions in the model-checker

Added by Anonymous almost 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
01/17/2013
Due date:
% Done:

100%

Estimated time:

Description

e.g. member access like "a.b"

History

#1 Updated by Anonymous almost 8 years ago

  • Status changed from New to Closed
  • Assignee deleted (Anonymous)
  • % Done changed from 0 to 100

Also available in: Atom PDF