MoritzHuppert

Might be completely unrelated, but part of the input to STP (tmp/present0b2f20180f3157b66a3556d7ac13bf.stp) is this (strange looking) line: ``` ASSERT(NO) = 0hex0000000000000000); ``` So there might be a problem with the...

Found the problem in stpcommands.py: ``` # Only add state words (x, y, s) # TODO: extend for other ciphers filtered_words = {var_name: var_value for var_name, var_value in characteristic.characteristic_data.items() if...