search

tweag / pirouette

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

Add MultiSigStateMachine-Faulty test and a description in its own README #21

Closed VictorCMiraldo closed 3 years ago