Ecdar / Ecdar/Reveaal

Restructure of tests

Open
#154 0 comments 0 reactions 0 assignees View on GitHub
approachable enhancement good first issue
Dominant language
Rust
Stars
4
Forks
6
PR merge metrics
No merged PRs in 30d

Description

Some tests are located in the `src/tests` directory. A lot of these unit tests should be instead be in a `tests` submodule in the relevant module to uphold the Rust standard (https://doc.rust-lang.org/book/ch11-03-test-organization.html). For example, a lot of the clock reduction tests should probably be moved to `src/System/extract_system_rep.rs` and `src/TransitionSystems/transition_system.rs`.

Contributor guide

No contributing guide indexed for this repository

Research direction

Read the Rust test-organization guidance linked in the issue, then inspect tests under `src/tests` and the relevant modules. The issue specifically identifies `src/System/extract_system_rep.rs` and `src/TransitionSystems/transition_system.rs` as destinations for clock reduction tests. Done means the applicable unit tests are organized in module-local `tests` submodules and the existing test suite still passes.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
testing
Issue type
Refactor
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.