Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tests fail on Windows #274

Open
uncomputable opened this issue Mar 20, 2025 · 2 comments · May be fixed by #276
Open

Tests fail on Windows #274

uncomputable opened this issue Mar 20, 2025 · 2 comments · May be fixed by #276

Comments

@uncomputable
Copy link
Collaborator

The library behaves in strange ways on Windows, which makes the unit tests fail. We should fix the code and enable Windows in CI.

See #272 (where Windows was not enabled in CI for this reason)

@apoelstra
Copy link
Collaborator

Can you PR to enable windows CI so we have a Github Action output to poke at?

@uncomputable
Copy link
Collaborator Author

Jets seem to outright fail. Maybe this is a C issue.

failures:

---- bit_machine::tests::crash_regression1 stdout ----

thread 'bit_machine::tests::crash_regression1' panicked at src\bit_machine\mod.rs:710:24:
called `Result::unwrap()` on an `Err` value: JetFailed(JetFailed)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

---- human_encoding::parse::tests::bip340_program stdout ----

thread 'human_encoding::parse::tests::bip340_program' panicked at src\human_encoding\parse\mod.rs:600:41:
execute: JetFailed(JetFailed)

---- human_encoding::parse::tests::simple_program stdout ----

thread 'human_encoding::parse::tests::simple_program' panicked at src\human_encoding\parse\mod.rs:600:41:
execute: JetFailed(JetFailed)

---- human_encoding::tests::executed_witness_with_value stdout ----

thread 'human_encoding::tests::executed_witness_with_value' panicked at src\human_encoding\mod.rs:240:14:
Failed to finalize: Execution(JetFailed(JetFailed))

---- human_encoding::tests::pruned_witness_without_value stdout ----

thread 'human_encoding::tests::pruned_witness_without_value' panicked at src\human_encoding\mod.rs:240:14:
Failed to finalize: Execution(JetFailed(JetFailed))

---- jet::elements::tests::test_ffi_env stdout ----

thread 'jet::elements::tests::test_ffi_env' panicked at src\jet\elements\tests.rs:105:43:
executing: JetFailed(JetFailed)

---- jet::tests::test_ffi_jet stdout ----

thread 'jet::tests::test_ffi_jet' panicked at src\jet\mod.rs:114:51:
executing: JetFailed(JetFailed)

---- human_encoding::tests::witness_name_override stdout ----

thread 'human_encoding::tests::witness_name_override' panicked at src\human_encoding\mod.rs:240:14:
Failed to finalize: Execution(JetFailed(JetFailed))

---- node::commit::tests::shared_witnesses stdout ----

thread 'node::commit::tests::shared_witnesses' panicked at src\node\commit.rs:549:41:
called `Result::unwrap()` on an `Err` value: JetFailed(JetFailed)

---- policy::satisfy::tests::satisfy_after stdout ----

thread 'policy::satisfy::tests::satisfy_after' panicked at src\policy\satisfy.rs:458:57:
satisfiable: AssemblyFailed(JetFailed(JetFailed))

---- policy::satisfy::tests::satisfy_and stdout ----

thread 'policy::satisfy::tests::satisfy_and' panicked at src\policy\satisfy.rs:513:57:
satisfiable: AssemblyFailed(JetFailed(JetFailed))

---- policy::satisfy::tests::satisfy_asm stdout ----

thread 'policy::satisfy::tests::satisfy_asm' panicked at src\policy\satisfy.rs:698:38:
policy should be satisfiable: AssemblyFailed(JetFailed(JetFailed))

---- policy::satisfy::tests::satisfy_older stdout ----

thread 'policy::satisfy::tests::satisfy_older' panicked at src\policy\satisfy.rs:482:57:
satisfiable: AssemblyFailed(JetFailed(JetFailed))

---- node::redeem::tests::prune stdout ----

thread 'node::redeem::tests::prune' panicked at src\node\redeem.rs:927:14:
unpruned program should run without failure: JetFailed(JetFailed)

---- policy::satisfy::tests::satisfy_pk stdout ----

thread 'policy::satisfy::tests::satisfy_pk' panicked at src\policy\satisfy.rs:410:56:
satisfiable: AssemblyFailed(JetFailed(JetFailed))

---- policy::satisfy::tests::satisfy_sha256 stdout ----

thread 'policy::satisfy::tests::satisfy_sha256' panicked at src\policy\satisfy.rs:435:56:
satisfiable: AssemblyFailed(JetFailed(JetFailed))

---- policy::satisfy::tests::satisfy_or stdout ----

thread 'policy::satisfy::tests::satisfy_or' panicked at src\policy\satisfy.rs:554:60:
satisfiable: AssemblyFailed(JetFailed(JetFailed))

---- policy::serialize::tests::execute_after stdout ----

thread 'policy::serialize::tests::execute_after' panicked at src\policy\serialize.rs:343:9:
assertion failed: execute_successful(&commit, vec![], &env)

---- policy::serialize::tests::execute_and_true stdout ----

thread 'policy::serialize::tests::execute_and_true' panicked at src\policy\serialize.rs:425:9:
assertion failed: execute_successful(&commit, valid_witness, &env)

error: test failed, to rerun pass `-p simplicity-lang --lib`
---- policy::serialize::tests::execute_older stdout ----

thread 'policy::serialize::tests::execute_older' panicked at src\policy\serialize.rs:366:9:
assertion failed: execute_successful(&commit, vec![], &env)

---- policy::serialize::tests::execute_and stdout ----

thread 'policy::serialize::tests::execute_and' panicked at src\policy\serialize.rs:405:9:
assertion failed: execute_successful(&commit, valid_witness, &env)

---- policy::satisfy::tests::satisfy_thresh stdout ----

thread 'policy::satisfy::tests::satisfy_thresh' panicked at src\policy\satisfy.rs:614:60:
satisfiable: AssemblyFailed(JetFailed(JetFailed))

---- policy::serialize::tests::execute_pk stdout ----

thread 'policy::serialize::tests::execute_pk' panicked at src\policy\serialize.rs:327:9:
assertion failed: execute_successful(&commit, vec![Value::u512(signature.serialize())], &env)

---- policy::serialize::tests::execute_or stdout ----

thread 'policy::serialize::tests::execute_or' panicked at src\policy\serialize.rs:444:9:
assertion failed: execute_successful(&commit, valid_witness, &env)

---- policy::serialize::tests::execute_sha256 stdout ----

thread 'policy::serialize::tests::execute_sha256' panicked at src\policy\serialize.rs:386:9:
assertion failed: execute_successful(&commit, valid_witness, &env)

---- policy::serialize::tests::execute_threshold stdout ----

thread 'policy::serialize::tests::execute_threshold' panicked at src\policy\serialize.rs:480:9:
assertion failed: execute_successful(&commit, valid_witness, &env)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants