Bug #4688
./hifrog --claim 2 ~/dev/hi-bench/main-bench/Funfrog15_bench/mem.c --logic prop/qfuf
Start date:
07/03/2017
Due date:
% Done:
100%
Estimated time:
Description
for claim 2 of mem.c
wrong result in prop/uf/lra
History
#1 Updated by Karine Even Mendoza about 7 years ago
- Assignee set to Karine Even Mendoza
- % Done changed from 0 to 100
globals issues
#2 Updated by Karine Even Mendoza about 7 years ago
- Status changed from New to Resolved
#3 Updated by Karine Even Mendoza about 7 years ago
- Status changed from Resolved to In Progress
New cprover, has a problem with prop itp:
main-bench/Funfrog15_bench/mem.c --logic prop --claim 2
#4 Updated by Karine Even Mendoza about 7 years ago
- Status changed from In Progress to Closed
Duplicate with BUG #4808 - close this one, leave the other open.
Current issue is only with prop.