PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Published 20 hours ago • verified publisher icon p-org

Internal asserts in the runtime

Open paulthomson opened this issue 7 years ago • 1 comments

It should be possible to assert things inside the P# runtime or inside a SchedulingStrategy. If these fail, this is not a bug in the program under test, but a bug in P#.

You could annotate such an Assert method with [Conditional("DEBUG")] to make sure it is removed in Release mode. And you could even leave them in (by defining DEBUG) when releasing "experimental builds" of P#.

paulthomson avatar Jun 28 '17 15:06 paulthomson

We now have this is in the scheduling strategies (I think) but we should have asserts in the runtime too.

paulthomson avatar Jul 05 '17 13:07 paulthomson