update kripke test, remove external dependencies

LLNL / ATS

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.

BSD 3-Clause "New" or "Revised" License

7 stars 5 forks source link

update kripke test, remove external dependencies #84

Closed davidbloss closed 2 years ago

davidbloss commented 2 years ago

Test setup for Kripke testing needed updating and some bugfixes.

create_test_ats.py was trying to import from an external ATS related repository. The external code has been brought into this repo.
Some print statements have been updated from Python 2.7 format to Python 3 format.
Attempted to make the code more readable in general.