Skip to content

ALEX v2.1.0
Compare
Choose a tag to compare
@abainczyk abainczyk released this 20 Apr 07:01
v2.1.0
1f724b4

With the release of version 2.1.0 of ALEX we strive towards better collaboration of users within the tool, but also towards better integration of the tool itself in existing CI/CD pipelines. With corresponding Docker files and Helm charts, ALEX' main place of use is no longer the local developer machine, but it is intended to run in the cloud.

Fixes

  • Save parameterized symbol aliases when saving a learner setup

Breaking Changes

  • Use Docker / Kubernetes for development and production versions of ALEX.
    The standalone build is no longer supported.
  • Due to the previous point, the web drivers have been removed.
    It is only possible to set the URL to a Selenium Hub.

Features

  • See which symbols and tests are used by other users in a project
  • Limit number of parallel test / learning processes as admin
  • Export formula suites, learner setups and test configurations while exporting a project
  • Automated model checking of learned models
    • Associate LTL formula suites with a learner setup
Assets 3
Loading