Project

General

Profile

Bug #7391

LRA reading non-linear operations

Added by Sepideh Asadi almost 6 years ago.

Status:
New
Priority:
Low
Assignee:
Start date:
22/05/2018
Due date:
% Done:

0%

Estimated time:

Description

How to run: /hifrog --sum-theoref sumth31.c

Error: --Reading LRA summary file: __summaries_lra
Non linear operation encounter in file __summaries_uf. Ignoring this file.
terminate called after throwing an instance of 'std::logic_error'
what(): During refinement we lost summaries for func
Command terminated by signal 6

Benchmark is attached.

sumth31.c (383 Bytes) sumth31.c Sepideh Asadi, 22/05/2018 19:26

Also available in: Atom PDF