Kuba Migdał
Kuba Migdał
@`expand the testing framework` is there an issue addressing this?
@snoyberg safe to say this can be closed?
One of the tests in question: ``` normalized stderr: error: internal compiler error: crates/flux-infer/src/fixpoint_encoding.rs:436:35: failed to run fixpoint: Custom { kind: UnexpectedEof, error: Error("EOF while parsing a value", line: 1,...
Also, just changed from slim-bullseye to regular base image and stuck on `test [ui] pos/surface/bitvec01.rs ... test [ui] pos/surface/bitvec01.rs has been running for over 60 seconds` - I'm not sure...
@nilehmann bullseye offers z3 @ 4.8.10-1 and is the latest debian with an official Haskell image, which version would you suggest? No rush with the review obvs. :)
@nilehmann Unfortunately the standard debian/ubuntu apt repositories have pretty outdated versions of z3 (>4.8 for debian only since trixie/13 which is not widely used in docker yet) Like you mentioned...
FYI the tests fail even with a newer z3, I could try to dive in and debug this myself, but this would be a first for touching a project like...
I found this handy Hackage list https://hackage.haskell.org/packages/reverse but it seems no released packages use it as a dependency :( though I can see people using LH for development only, kind...
Whoops, might've created the issue too early, I see `-f SPECIAL_A` does exactly what I wanted, though it isn't explicitly mentioned by the help message. I'll keep the issue open...