incorrect PSL simplification
{(!b)[*3];b}!
is incorrectly simplified to Fb
. I believe the code meant to do {(!b)[*];b}!
= !b U b
= Fb
is wrongly ignoring the star argument.
{(!b)[*3];b}!
is incorrectly simplified to Fb
. I believe the code meant to do {(!b)[*];b}!
= !b U b
= Fb
is wrongly ignoring the star argument.