search

tlaplus / PlusPy

Python interpreter for TLA+ specifications
MIT License
113 stars 11 forks source link

Fix typo at tests #4

Closed pfeodrippe closed 4 years ago

pfeodrippe commented 4 years ago

Use Qsort instead of QSort for test 7.

Test 7 was failing.

Thank you for this project =D