Closed mjambon closed 3 years ago
Here's is what we get for https://github.com/facebook/infer/tree/master/sledge:
Closes #20
Excellent, thanks!
I made a release 1.3.0 and submitted it to opam-repository. Let me know if I overlooked something!
Here's is what we get for https://github.com/facebook/infer/tree/master/sledge:
Closes #20