Project

General

Profile

Actions
Copy link

Bug #5099

open

prop

Added by Sepideh Asadi over 7 years ago. Updated over 7 years ago.

Status:
New
Priority:
Low
Assignee:
Karine Even Mendoza
Start date:
28/04/2017
Due date:
% Done:

0%

Estimated time:

Description

./hifrog --claim 1 --logic prop /hi-bench/main-bench/TACAS17_ex/ex1_uf.c

why it is quick in prop? it is supposed to be very expensive!!

Actions
Copy link

Also available in: Atom PDF