Project

General

Profile

Bug #1581

NoVal in verification conditions is not translated correctly to CProver code

Added by Andreas Bayha about 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
08/05/2013
Due date:
% Done:

0%

Estimated time:

History

#1 Updated by Andreas Bayha about 7 years ago

  • Status changed from New to Resolved
  • Assignee changed from Andreas Bayha to Anonymous

#2 Updated by Anonymous about 7 years ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Anonymous)

Also available in: Atom PDF