Assertions in tests to minimize reliance on human judgment.

githwxi / ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates

www.ats-lang.org

Other

354 stars 54 forks source link

Closed ashalkhakov closed 5 years ago

ashalkhakov commented 5 years ago

This adds many more assertions to existing test suite.

failing tests if compilation fails or if the programs don't behave in expected way
less reliance on humans to figure out if output is correct

This will run the tests in Travis-CI but the intention is to also run the same suite on Windows, eventually.