Nanotrust
Results
2
issues of
Nanotrust
Hi, I found inconsistent results when using the shift instructions sraw and sraiw. These 64-bit-specific instructions perform the shift on the right-hand 32-bit part of the word and propagate the...
Comparison doesn't fail when csv_1 is bigger than csv_2 in the particular case where `gpr_state_change_2 == 1` at the end of csv_2. To reproduce we can use these csv files:...