Fixed
Details
Details
Assignee
jose bollo
jose bolloReporter
jose bollo
jose bolloFix versions
Labels
Contract ID
Time tracking
5h logged
Priority
Created March 27, 2018 at 1:43 PM
Updated July 2, 2018 at 12:02 AM
Resolved April 5, 2018 at 8:44 AM
The file examples/verify3.c has an unexpected character that make build failing.