Searched Projects

Steps to reproduce the bug

Flip the B switch 2 times to see contention in VeriAND 

Incase you filp b, no such error is there