Uploaded image for project: 'Harmony'
  1. Harmony
  2. HARMONY-5766

[testing][tptp] Automatic TPTP tests checkout and build

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Resolved
    • Major
    • Resolution: Fixed
    • None
    • None
    • build - test - ci
    • None
    • Patch Available

    Description

      Current implementation of TPTP suite runner script requires manual test checkout and buliding.

      Attachments

        1. tptp-tests-adaptor.patch
          11 kB
          Eugene S. Ostrovsky
        2. tptp-tests-build.patch
          30 kB
          Eugene S. Ostrovsky

        Activity

          People

            smm Stepan Mishura
            eugene.s.ostrovsky@gmail.com Eugene S. Ostrovsky
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: