search

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
203 stars 25 forks source link

Rename Aux.hs to Auxiliary.hs #362

Closed mrBliss closed 4 years ago

mrBliss commented 4 years ago

Even with an extension, the Aux filename is not allowed on Windows.