FLIF-hub / FLIF-doc

Documentation related to FLIF: a paper, a spec, design rationale, etc.
5 stars 4 forks source link

Maniac tree encoding lists incorrect number encoding #11

Open ZoeyR opened 6 years ago

ZoeyR commented 6 years ago

The spec section for maniac tree encoding says that elements property, node_counter, and test_value should be read as a near_zero int with the given ranges. However, the implementation uses read_int2 which modifies the parameters before sending them to the listed near zero encoding scheme.