Project

General

Profile

Actions

Feature #10750

closed

Update CPAchecker (SMG)

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
High
Category:
Addons
Target version:
Start date:
03/12/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Anton fixed some bugs in CPAchecker SMG. Also, he has been considerably improving representation of violation witnesses, so, that it does have sense to update CPAchecker for Klever 3.1.

Actions

Also available in: Atom PDF