Update Quickstrom tests to last version

tweag / servant-template

A modern template for a Servant

MIT License

53 stars 8 forks source link

Update Quickstrom tests to last version #45

Open marcosh opened 1 year ago

marcosh commented 1 year ago

the quickstrom branch contains a test suite created using the old version of https://quickstrom.io/. Update it to the last version of the specification language

cgeorgii commented 1 year ago

I currently have a problem running the test suite in the quickstrom branch. Perhaps we could take a look at it together before addressing this?

cgeorgii commented 1 year ago

After investigation, we decided to start a new branch for the latest version of Quickstrom, since it's considerably different from the current implementation.