Tractatus is a library for logic test documentation. Tractatus is one of the most complex philosophical books ever written.
If you want to use this library you just need to know these annotations.
- @ClauseCoverage
- @UniqueTruePoint
- @NearFalsePoint
- @CACC (Correlated Active Clause Coverage)
- @Valuation
- @ClauseDefinition
Simply add the extension to your test classes and see the reports in the tractatus directory in your project root.
Currently, reporting Junit 5 extension is experimental so feel free to report any issues.
@ExtendWith(ReportingExtension.class)
class YourTestClass {
If you want to contribute to this project you can study all of its javadoc here.
<dependency>
<groupId>com.github.mryf323</groupId>
<artifactId>tractatus</artifactId>
<version>1.0.1</version>
</dependency>
implementation 'com.github.mryf323:tractatus:1.0.0'