Skip to content

Conversation

@AlbaHerrerias
Copy link

@AlbaHerrerias AlbaHerrerias commented Nov 26, 2025

Overview

This work is done according to "Milestone 3. Convert Python test suite to eunit or exunit" as stated in the Scope of Work with Sovereign Tech Agency Resilience Program.

This PR includes:

  • Port 06-basic-text-test.py hypothesis test to Elixir
  • Remove corresponding python tests

Testing recommendations

Run:

make elixir-search

Related Issues or Pull Requests

#5753

Checklist

  • Code is written and works correctly
  • Changes are covered by tests
  • Any new configurable parameters are documented in rel/overlay/etc/default.ini
  • Documentation changes were made in the src/docs folder
  • Documentation changes were backported (separated PR) to affected branches

@AlbaHerrerias AlbaHerrerias marked this pull request as ready for review December 2, 2025 13:51
janl and others added 5 commits December 10, 2025 14:25
The current property is hardcoded at running 1_000 tests, which
takes about 10s on my machine. I have run it up to 20_000 tests
and it never failed so far.

Run this with new command `make elixir-test-search-props` as I
could not make it work with the test suite.

Removes the existing test from the Python test file.

NOTE: this currently runs against nouveau as I did not have a
Clouseau setup handy, could someone wiggle things so they run
with Clousau?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants