Project

General

Profile

Bug #3512

counter example print: Cnfizer.C:891: lbool Cnfizer::getTermValue(PTRef) const: Assertion `val != (lbool((uint8_t)2))' failed.

Added by Karine Even Mendoza over 7 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
Normal
Start date:
29/09/2016
Due date:
% Done:

100%

Estimated time:

Description

Code example: hi-bench/main-bench/arithmetic/Rump_double.c
parameters: --show-error-trace
hifrog branch: dev

Error:
SOLVER TIME: 0.003
SAT - doesn't hold
ASSERTION IS VIOLATED
Building error trace
\ |funfrog::?callend_symbol#1| = true
\ |funfrog::?callstart_symbol#1| = true
\ |c::main::1::r!0#2| = -54767/66192
\ |funfrog::?error_symbol#1| = true
evolcheck: Cnfizer.C:891: lbool Cnfizer::getTermValue(PTRef) const: Assertion `val != (lbool((uint8_t)2))' failed.
\ |funfrog::?callend_symbol#2|Aborted (core dumped)

History

#1 Updated by Karine Even Mendoza over 7 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

Also available in: Atom PDF