Add error message for ruleset that DNE.

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

400 stars 45 forks source link

Closed cgyurgyik closed 3 months ago

cgyurgyik commented 3 months ago

This PR adds an error message when the ruleset does not exist.

// Before
called `Option::unwrap()` on a `None` value 

// After
test panicked: ruleset does not exist: wrongnameruleset