@Himeshi klee_track_error is needed to specify the variable name of the input error. Whenever the input error is unspecified, _unspecified_error_<varname> will be used for the error amount of variable <varname>. Please see the sample usage of klee_track_error in basic/get_sign.c of fp-examples repository.
@Himeshi
klee_track_erroris needed to specify the variable name of the input error. Whenever the input error is unspecified,_unspecified_error_<varname>will be used for the error amount of variable<varname>. Please see the sample usage ofklee_track_errorinbasic/get_sign.coffp-examplesrepository.