
Dafny program verifier finished with 2 verified, 0 errors
SequenceRace.dfy(35,0): Error: The benchmarking plugin does not support this compilation target: Microsoft.Dafny.Compilers.CsharpCodeGenerator (--target:cs)
Translation was aborted because errors were found
