tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Add a second test about lists #171

Closed Niols closed 1 year ago

Niols commented 1 year ago

This PR builds on top of #170 and adds a second test. This one is here to defeat the symbolic engine with a big path explosion and an infinite recursion, which it does for now. I still need to figure out how to add fuel to this.

Niols commented 1 year ago

And now with a simpler test that hands, while technically it should be possible to find something.

Niols commented 1 year ago

It now strikes me that those tests might be more relevant as execution tests, rather than prover tests.