Bug #5099
prop
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!!
History
#1 Updated by Karine Even Mendoza almost 7 years ago
- Priority changed from Normal to Low
#2 Updated by Karine Even Mendoza over 6 years ago
- Assignee set to Karine Even Mendoza
Performance issue