Miroirs/rpn
1
0
Fork 0
mirror of https://github.com/louisrubet/rpn synced 2025-01-01 18:20:06 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

#34: debug btor

Browse source
This commit is contained in:
Louis Rubet 2017-04-22 11:21:55 +02:00
parent 0bf44471cb
commit eb08856132
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/rpn-binary.h
View file

@ -37,7 +37,8 @@ void btor()
integer_t bin = getb();
_stack->push_back(NULL, sizeof(number), cmd_number, true);
number* left = (number*)_stack->back();
void* significand;
number* left = (number*)_stack->allocate_back(sizeof(number), cmd_number, MPFR_128BITS_STORING_LENGTH, &significand);
left->init(significand);
left->set(bin);
}