fix: add missing `proptest` library to dev dependencies.

Open zicklag opened this issue 2 years ago • 2 comments

The proptest crate is used in the tests, but wasn't added to the dev dependencies.

This also updates the Cargo.lock file to match the current repo version ( i.e. fixes #197 ).

Jan 24 '23 02:01 zicklag

This test is the only one failing. I think it may be related to a change in the way programs are parsed, not an actual bug in the code, but I'm extremely unfamiliar with the codebase so I'm not sure.

---- language::rulebook::tests::test_rulebook_expected stdout ----
thread 'language::rulebook::tests::test_rulebook_expected' panicked at 'assertion failed: `(left == right)`
  left: `33`,
 right: `3`', src/language/rulebook.rs:638:5

Jan 25 '23 15:01 zicklag

the reason for the failure is that precompiled functions are added to the rule book, presumably so their symbols could be resolved in user code.

https://github.com/HigherOrderCO/HVM/blob/ba9062de86cf8ff7fba1283f88b467fb21db13eb/src/language/rulebook.rs#L37-L43

Apr 18 '23 21:04 nivkner