DavidStreader

icon indicating an email [email protected]

icon location Research into refinement of specification into code. With special interest in communicating concurrent systems, their semantics and transformation between them

Results 2 issues of DavidStreader

assert fails to respond to !false in the same way as if !false

Hi with the code below ``` function method palin(a:seq) :bool { forall i:int :: (0

Type: Bug

Automatic Counter Example Quits DafnyServer

6 comment

Hi Running Macos 10.14.6. Loaded VSCode and Dafny all worked well for some hours. Next day restarted VSCode and opened Dafny file. but server not found so I went to...

Type: Bug
Affects: Server