Remy Willems

More logging PR: https://github.com/dafny-lang/dafny/pull/5387

Fixed by https://github.com/dafny-lang/dafny/pull/5387

The logs have been deleted by now, so I can not investigate further. If anyone runs into this again, please paste your logs here.

More logging PR: https://github.com/dafny-lang/dafny/pull/5387

> If we run that for all backends, and expand the library to cover as many kinds of Dafny declarations as possible, we'll have the same testing coverage without having...

> I think that you mean: > > ``` > // --isolate-assertions > > method Foo() { > assert E by { X }; // Here the X should be...

Upon further investigation: the current splitting implementation already tries to remove blocks that do not contain any assert statements. The only remnants of an unused `if` is an extra block...

Log shows `DafnyTestGeneration.Test` was taking 52 minutes while locally it takes only 12 seconds, so it seems one of the tests stalled.

~Comparing with a successful run, the cancelled run does finish all the tests successfully and none of the tests take very long. It seems as if the run gets stuck...

``` The active test run was aborted. Reason: Test host process crashed Data collector 'Blame' message: The specified inactivity time of 5 minutes has elapsed. Collecting hang dumps from testhost...