ATS - Automated Testing System - is an open-source, Python-based tool for automating the running of tests of an application across a broad range of high performance computers.
Problem: Current GitLab CI/CD tests do not test the binary.
Solution: Add testing for ATS's Flux code.
This should work under @davidbloss's credentials on Quartz, but I saw that @dawson6 you have a different bank, so if it's running under your account I may need to make a slight change. Also, when I tested in my GitLab fork the Kripke tests failed, but I assumed that didn't have anything to do with this commit.
Problem: Current GitLab CI/CD tests do not test the binary.
Solution: Add testing for ATS's Flux code.
This should work under @davidbloss's credentials on Quartz, but I saw that @dawson6 you have a different bank, so if it's running under your account I may need to make a slight change. Also, when I tested in my GitLab fork the Kripke tests failed, but I assumed that didn't have anything to do with this commit.