Fix chicago tests - Githubissues

MetaBorgCube / statix-sandbox

Experiments with the Statix meta-language

6 stars 5 forks source link

Closed AZWN closed 4 years ago

AZWN commented 4 years ago

This PR sets the the correct language in all chicago tests, removes a duplicated test, and corrects a failing test.