tacle / tacle-bench

TACLe Benchmarks
41 stars 38 forks source link

Quick fix for issue #16 #17

Closed michael-platzer closed 4 years ago

michael-platzer commented 4 years ago

This pull request fixes incorrect assumptions about C data types for 3 programs as explained in issue #16.