diff options
author | Son Ho | 2022-01-27 00:32:31 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 00:32:31 +0100 |
commit | 4e140fb31464173c7692668419f5938e34177015 (patch) | |
tree | 8f151907821f7f8e9f84695cdd04ec0c8a9f248e /tests | |
parent | 1e3e6f6ecdbc277322f3631dac683fe938134d0c (diff) |
Make give_back_symbolic_value fail in case we need to reinsert inside an
AProjLoans: there is something wrong
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions