pulp-platform / pulp

This is the top-level project for the PULP Platform. It instantiates a PULP open-source system with a PULP SoC (microcontroller) domain accelerated by a PULP cluster with 8 cores.
Other
452 stars 114 forks source link

Equality comparison between numbers with different bases #80

Open ricted98 opened 1 year ago

ricted98 commented 1 year ago

https://github.com/pulp-platform/pulp/blob/1a0ee6a1a48e5c7fddf10253b950ba75eafe46b7/sim/tcl_files/fault_injection/inject_fault.tcl#L357-L366

old_value_numeric is extracted as a binary value while new_value_numeric is stored as a decimal number. As a result, the condition in the while statement $old_value_numeric == $new_value_numeric && [string length $old_value_numeric] != 1 is stuck to false and the command force -freeze interprets old_value_numeric as a decimal value since no base is specified.