Unexpected output with specialized binary using configuration priming: netperf

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Closed caballa closed 3 years ago

caballa commented 3 years ago

To reproduce follow the instructions of issue #50

caballa commented 3 years ago

Fixed in commit a34876418efcc2d5f7f92cd44520a8001ca4117e