search

m-carrasco / BCT_TEST

testing code for BCT
0 stars 0 forks source link

Dereference issue #5

Closed m-carrasco closed 7 years ago

m-carrasco commented 7 years ago

Fixing translation typos from BCT, the following problem happens with Corral: https://github.com/m7nu3l/BCT_TEST/issues/4

https://github.com/m7nu3l/BCT_TEST/blob/95b349445f4e36e417ceb0dc82031215b1d4d880/Dereference/Program.cs#L43-L63

The real execution of this code generates no exception or bug.

BCT is set to assert on null dereferences.

m-carrasco commented 7 years ago

My mistake testing. This case is correctly handled by Corral.