Skip to content

Commit

Permalink
Improve representation of locations
Browse files Browse the repository at this point in the history
Ref. eng/recordflux/RecordFlux#1785
  • Loading branch information
treiher committed Nov 4, 2024
1 parent 44177b8 commit 1820f90
Show file tree
Hide file tree
Showing 44 changed files with 703 additions and 620 deletions.
1 change: 1 addition & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
- Fatal error caused by variable in case expression (eng/recordflux/RecordFlux#1800)
- Simplification of expressions with a unary minus operator (eng/recordflux/RecordFlux#1595, eng/recordflux/RecordFlux#1797)
- Evaluation of unary minus applied to binary expressions (eng/recordflux/RecordFlux#1797)
- Fatal errors caused by missing locations (eng/recordflux/RecordFlux#1785)

### Changed

Expand Down
11 changes: 2 additions & 9 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -364,22 +364,15 @@ test: test_rflx test_rapidflux test_examples

test_rflx: test_coverage test_unit_coverage test_per_unit_coverage test_language_coverage test_end_to_end test_property test_tools test_ide test_optimized test_compilation test_binary_size


test_rapidflux_coverage: rapidflux_devel
cargo llvm-cov \
nextest \
--package librapidflux \
--fail-under-lines 100 \
--show-missing-lines \
--skip-functions \
--no-fail-fast # Do not stop on the first failure for CI runs
@tools/test_rapidflux_coverage.sh

# nextest cannot be used with `doctests` with stable Rust.
# See: https://github.com/nextest-rs/nextest/issues/16
test_rapidflux_doc: rapidflux_devel
cargo test --package librapidflux --doc --no-fail-fast

test_rapidflux: test_rapidflux_coverage test_rapidflux_mutation test_rapidflux_doc
test_rapidflux: test_rapidflux_coverage test_rapidflux_doc test_rapidflux_mutation

test_rapidflux_mutation: rapidflux_devel
cargo mutants -j 4 --package librapidflux --timeout 300 --output $(BUILD_DIR)
Expand Down
Loading

0 comments on commit 1820f90

Please sign in to comment.