m-carrasco / BCT_TEST

testing code for BCT
0 stars 0 forks source link

Health and BH projects #1

Open m-carrasco opened 7 years ago

m-carrasco commented 7 years ago

Health and BH belong to a benchmark suite. I extracted from the benchmark the generating error code. The code is present in this repository at their respective projects. Both present the same error when analyzed by BCT.

Translation error in body of 'Health.Hospital..ctor': BitwiseAnd called in a non-boolean context, but at least one argument is not an integer!

BCT is run with defualt arguments.

m-carrasco commented 7 years ago

https://github.com/m7nu3l/BCT_TEST/blob/60479997654fa347af3a48878cb14b972668b1c2/Hospital/Program.cs#L23-L26