Project

General

Profile

Actions
Copy link

Bug #7391

open

LRA reading non-linear operations

Added by Sepideh Asadi about 6 years ago.

Status:
New
Priority:
Low
Assignee:
Sepideh Asadi
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.

Files

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

No data to display

Actions
Copy link

Also available in: Atom PDF