Open CrepeGoat opened 1 week ago
Can you run it with runt -d
to see what the errors are? I suspect you don't have your environment configured correctly.
reran with -d
, lots of output but here's one excerpt that looks pretty similar to the rest:
✗ errors:tests/errors/assign-check/missing-large.fil
~
1 1│ ---CODE---
2 │- 1
2│+ 101
3 3│ ---STDERR---
4 │- error: bundle `a' has 99 unassigned locations
5 │- ┌─ tests/errors/assign-check/missing-large.fil:2:12
6 │- │
7 │- 2 │ bundle a[100]: for<k> ['G, 'G+1] 32;
8 │- │ ^ bundle indices are unassigned: 1, 2, 3, 4, 5, ... and 94 others
4│+ thread 'main' panicked at crates/filament/src/ir_passes/discharge.rs:131:14:
5│+ called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
6│+ note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
9 7│
10 │- Compilation failed with 1 errors.
11 │- Run with --show-models to generate assignments for failing constraints.
12 │-
~
lmk if you want the full output. full output here: https://gist.github.com/CrepeGoat/4ce12c51e1ee5440056aeed48f908f6b
You probably don't have z3
installed. For any test, you can do:
runt -i tests/errors/assign-check/missing-large.fil -n
to see the command being run.
Run the command yourself and see if you can get more information that way?
that fixed some, but I'm still getting errors like this:
✗ run:tests/run/add.fil
~
1 │- {"out": {"0": [10], "1": [257], "2": [31], "3": [43]}, "cycles": 4}
2 │-
3 │-
1│+ ---CODE---
2│+ 127
3│+ ---STDERR---
4│+ sh: line 1: fud: command not found
5│+
~
I updated the previous gist with the most recent errors.
(thanks for the dependency install fix though, I'm a little embarrassed I made that mistake 😅)
You have to install fud
as described in the full build installation instructions.
system
problem
running
runt
in the main filament directory, as recommended for running Filament tests, produces the following error report: