Releases/RT-Tester on Verified Systems International GmbH

RT-Tester 7.1.0 now available (new feature)

Mon, 28 Jul 2025 00:00:00 +0000

A new feature release is now available for all supported platforms.
Consider updating if you are using Version 7.0.6 or older.

RT-Tester 7.0.6 now available (maintenance)

Wed, 29 Jan 2025 00:00:00 +0000

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.5 or older.

RT-Tester 7.0.5 now available (maintenance)

Tue, 25 Jun 2024 00:00:00 +0000

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.4 or older.

WARNING: Major bug in RT-Tester 7.0.4 may ignore error-timeout of cluster tests

Mon, 29 Apr 2024 00:00:00 +0000

In rare circumstances, a timeout of a multi-node cluster test (which should result in TESTERROR) can lead to a situation where

No abstract machine reports this TESTERROR.
The verdicts of test cases (and the test procedure) remains PASS,
despite the fact that this result is not reliable.

RT-Tester 7.0.4 now available (maintenance)

Mon, 29 Jan 2024 00:00:00 +0000

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.3 or older.

RT-Tester 7.0.3 now available (maintenance)

Mon, 07 Aug 2023 00:00:00 +0000

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.2 or older.

RT-Tester 7.0.2 now available (maintenance)

Tue, 04 Apr 2023 00:00:00 +0000

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.1 or older.

RT-Tester 7.0.1 now available (maintenance)

Wed, 19 Oct 2022 00:00:00 +0000

A maintenance release is now available for all supported platforms.
Consider updating if you are using Version 7.0.0 or older.

RT-Tester 7.0.0 now available (refactored)

Thu, 31 Mar 2022 00:00:00 +0000

A new feature release is now available for all supported platforms.
Consider updating if you are using Version 6.0-6.6.3 or older.

RT-Tester 6.0-6.6.3 now available (maintenance)

Tue, 20 Jul 2021 00:00:00 +0000

A maintenance release is now available for all supported platforms except for the CADUL compiler.
Consider updating if you are using Version 6.0-6.6.2 or older.