hash sometimes contains byte 0x20

jonnybest / Alloy2RelSMT

This is Alloy2RelSMT, a converter. It translates Alloy models into SMT files with a specific relational theory.

1 stars 0 forks source link

Open jonnybest opened 11 years ago

jonnybest commented 11 years ago

The file has sometimes contains the blank space character 0x20. This is not desirable.

Example:

; file: D:\Entwicklung\workspace\alloy2relsmt\com-search-first-half\step12.als 
; hash: 9B6590B4 1F15648 3EAA3252FDC7115