src/plugins/value/utils/unit_tests.ml · 59f11ff02116bd405f0c1f64efab5fa568baa482 · pub / frama-c

4 years ago

[Eva] Adds unit testing of the sign values semantics. · 7b52a054

David Bühler authored 4 years ago

Unit tests are in the new file utils/unit_tests.ml, and are run by the new test
file tests/value/unit_tests.i through the exported function Eva.Unit_tests.test.

7b52a054

History

[Eva] Adds unit testing of the sign values semantics.

David Bühler authored 4 years ago

Unit tests are in the new file utils/unit_tests.ml, and are run by the new test
file tests/value/unit_tests.i through the exported function Eva.Unit_tests.test.