Project

General

Profile

Support #3166

Support #3042: collection issue for code base cleanup

remove support for cbmc

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

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
11/16/2017
Due date:
% Done:

0%

Estimated time:

Description

remove support for cbmc from tools

History

#1 Updated by Anonymous almost 3 years ago

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

#2 Updated by Anonymous almost 3 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF