Henrik Feldt
Good point! However, it requires a bit of remaking of the `Expect` module, responsible for printing the errors.
So, I'm working on a newer API with more "flowy" assertions, similar to how Elm tests does it, to let the test functions return the message values. I don't have...
I know what that's like ;). At least with this thread it's clearly documented what needs fixing and it's not even a big fire that stacktraces don't show up, so...
@rahicks26 Yes it would be helpful. :)
I've used this before with great success https://github.com/dungpa/Z3Fs
We need anything added to core expecto to work cross platform. So if you have a super-man, then let's use his super-work ;) May I suggest an alternative? Simpler even....
The problem you're trying to find a decidable solution to is Gödel's Halting Problem, and as such you can't solve it by reflection (decidedly).
That said, you could do what VSCode does and scan the IL with Cecil; might be able to pick his code straight from the source. Of course, you won't catch...
I'm really sorry for you having had a bad experience: you're right in that the spinner sometimes causes hangs. It's somewhere here https://github.com/haf/expecto/blob/master/Expecto/Logging.fs#L741 and https://github.com/haf/expecto/blob/8fb043f1de5c847979c4ccb2fa7c14696bfafe55/Expecto/Expecto.Impl.fs#L736-L755 — but despite it not...
We could use the new reservoir/snapshot and cep capabilities of Logary to get the metrics. This would be a great method for testing e.g. Suave servers.