Project

General

Profile

Task #9859

modify "ERROR: [Internal] null" line at error log

Added by Sergey Smolov 12 days ago.

Status:
New
Priority:
Normal
Target version:
Start date:
10/10/2019
Due date:
% Done:

0%

Estimated time:
Detected in build:
master
Published in build:

Description

Sometimes when VeriTrans crashes it produces the following string in it's log:

ERROR: [Internal] null

It seems non-informative and should be either reformulated or removed.

Also available in: Atom PDF