aidb icon indicating copy to clipboard operation
aidb copied to clipboard

Limit Engine Correctness Check

Open ttt-77 opened this issue 2 years ago • 2 comments

Check the limit result is a subset of the full result, current check may not work for floating point numbers due to weird serialization issues.

ttt-77 avatar Oct 16 '23 14:10 ttt-77

How can I reproduce this issue? I assume the issue originates from the float precision problem but I can't test my fix locally.

hjk1030 avatar May 06 '24 05:05 hjk1030

Although there are no errors currently, enhancing the code could help prevent potential problems. The related test is 'test_limit_engine'.

ttt-77 avatar May 06 '24 22:05 ttt-77