poirot
by Microsoft Research
Can this assertion fail in the presence of concurrency?
Ask poirot!
int x; int foo() { x = 2; return 0; } void main() { x = 1; foo(); // Use POIROT_ASSERT to add user assertions. // This assertion trivially holds. There is // no concurrency in this program. POIROT_ASSERT(x == 2); }
home
permalink
More samples
buggy1
buggy3
correct2
buggy2
buggy4
About Poirot - Poirot
Poirot is a tool for checking assertions in concurrent programs
home
tutorials
project map
live
developer
about
© 2012 Microsoft Corporation -
terms of use
-
privacy