Actions
Bug #5099
openprop
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!!
Updated by Karine Even Mendoza over 7 years ago
- Priority changed from Normal to Low
Updated by Karine Even Mendoza over 7 years ago
- Assignee set to Karine Even Mendoza
Performance issue
Actions