mull

Practical mutation testing and fault injection for C and C++

APACHE-2.0 License

Stars
737
Committers
26

Bot releases are visible (Hide)

mull - 0.23.0 Latest Release

Published by github-actions[bot] 3 months ago

mull -

Published by github-actions[bot] 5 months ago

mull - 0.21.1

Published by github-actions[bot] over 1 year ago

mull - 0.21.0

Published by github-actions[bot] over 1 year ago

mull - 0.20.0

Published by github-actions[bot] almost 2 years ago

🚨 Breaking change: Mull now exits with an error if mutants survive. Use --allow-surviving to preserve old behavior.

mull - 0.19.0

Published by github-actions[bot] about 2 years ago

mull - 0.18.0

Published by github-actions[bot] over 2 years ago

  • Fixed a phi-node miscompilation caused by cxx_logical_and_to_or and cxx_logical_or_to_and #994 #998
  • Improved diagnostics to track and workaround miscompilations #1000
  • All the changes
mull - 0.17.1

Published by github-actions[bot] over 2 years ago

mull - 0.17.0

Published by github-actions[bot] over 2 years ago

🚨 With this release, the mull-cxx tool is removed.

  • Fixed 'inconsistency in registered CommandLine options' when building against certain configs of LLVM #983
  • Removed mull-cxx #984
  • Simplified database schema for SQLite reporter #987
  • All the changes
mull - 0.16.0

Published by github-actions[bot] over 2 years ago

  • Added a workaround to not miscompile functions that use variadic arguments #977 #978
  • Fixed an issue when mull-ir-frontend could not find Clang's headers (such as stdarg.h) #979
  • mull-runner uses code coverage automatically #971 #967
  • Added tutorials on CMake and Makefile integration #980
  • mull-ir-frontend and mull-runner share the config #972
  • Added more debugging facilities #975 #976
  • All the changes
mull - 0.15.1

Published by github-actions[bot] over 2 years ago

  • Added a workaround to not miscompile functions that use "jump-tables" #963
  • Added module verification #964
  • Added more debugging facilities #962
  • Mull is using itself for testing #952
  • All the changes
mull - 0.15.0

Published by github-actions[bot] almost 3 years ago

🚨 With this release, the mull-cxx tool is deprecated and will be removed in the future.

Mull switches to the new model - compiler plugin called Mull IR Frontend.
The tutorial showing how to use it was updated.

  • Introduce Mull IR Frontend #938
  • Introduce YAML-based configuration #934
  • Drop LLVM 7 #936
  • Drop LLVM 8 #942
  • Fix a bug in mull-runner with duplicated mutants from templates #940
  • Fix a bug with junk detection when the code is located in symlinked folders #943
  • All the changes
mull - 0.14.0

Published by github-actions[bot] almost 3 years ago

  • Mutants are now also extracted from dependent dynamic libraries #903 #931
  • Fixed linking by deferring object code lowering to external compiler instead of using (mostly) incorrect defaults #929
  • Added warning if the number of workers specified exceeds available CPU cores (by Matthias Bilger) #928
  • Most of the Ubuntu packages are now built against the official LLVM/Clang instead of precompiled ones #926
  • All the changes
mull - 0.13.0

Published by github-actions[bot] almost 3 years ago

This release happens solely due to m42e's efforts. Thank you, Matthias!

mull - 0.11.3

Published by github-actions[bot] about 3 years ago

"Fake" release to roll-out the deprecation warning

mull - 0.12.0

Published by github-actions[bot] about 3 years ago

Important note: The mull package is now replaced with a separate package for each
supported LLVM version, e.g. mull-8, mull-13, etc.
The mull package won't be updated!

Important note: The binaries mull-cxx and mull-runner are now named after
the corresponding LLVM version, e.g. mull-cxx-8, mull-runner-13, etc.

  • Publish mull-${LLVM_VERSION} package instead of mull package 904
  • Include LLVM version into the package/binary name 904
  • Added LLVM 13 support #905
  • All the changes
mull - 0.11.2

Published by github-actions[bot] about 3 years ago

Fixed segfault caused by a data race (by Matthias Bilger) #895

mull - 0.11.1

Published by github-actions[bot] about 3 years ago

  • Switched to main instead of master for the main branch #892
  • Added LLVM 12 support #886
  • Dropped debug output from mull-runner #889
  • Fixed a bug leading to non-deterministic results #890 #891
  • All the changes
mull -

Published by github-actions[bot] over 3 years ago

Important note: AST-based mutations are in the works,
but not yet available in the pre-built packages.

  • Fixed a bug when mutants may be eliminated from the mutated program (by Yuta Saito) 863
  • Fixed a bug when test-program vs ./test-program changed Mull behavior 868
  • Fixed a multi-threading-related bug 865
  • Mull uses grep -E compatible regular expressions 850
  • Introduced mull-runner 854
  • Incremental mutation testing using git diff filter #833
  • Dropped the package size by ~3.5-4Mb 884
  • All the changes
mull - 0.10.0

Published by github-actions[bot] over 3 years ago

Important note: Bintray is shutting down, so Mull moved to Cloudsmith!

  • Fixed bug with incorrect mutation of intrinsics (by Yuta Saito) #libirm/24
  • Fixed bug with losing calling conventions (by Yuta Saito) #834
  • Fixed bug with incorrect locations of mutants in the header files #837
  • Deduplicate mutants coming from inlined functions/templates #829
  • Add support for not covered mutants #831
  • All the changes