Alex Cioc

icon indicating a website link http://www.linkedin.com/in/alexcioc

icon location Seattle, WA icon location Software developer. Formerly at Amazon (AWS, Prime Video, and Twitch) | Caltech 2015

Results 1 issues of Alex Cioc

Dafny for VSCode times out as "idle" instead of failing verification

Per request from @RustanLeino, I am creating this issue in this repo. The dafny-lang/dafny repo received the following issue: https://github.com/dafny-lang/dafny/issues/415 Upon investigation, it appears the submitted code times out on...

Type: Bug