R Under development (unstable) (2024-02-05 r85863 ucrt) -- "Unsuffered Consequences" Copyright (C) 2024 The R Foundation for Statistical Computing Platform: x86_64-w64-mingw32/x64 R is free software and comes with ABSOLUTELY NO WARRANTY. You are welcome to redistribute it under certain conditions. Type 'license()' or 'licence()' for distribution details. R is a collaborative project with many contributors. Type 'contributors()' for more information and 'citation()' on how to cite R or R packages in publications. Type 'demo()' for some demos, 'help()' for on-line help, or 'help.start()' for an HTML browser interface to help. Type 'q()' to quit R. > library(testthat) > library(xegaBNF) > library(xegaDerivationTrees) > > test_check("xegaDerivationTrees") Derivation Tree 1 Complete: TRUE D2 Derivation Tree 2 Complete: TRUE NOT(D2) Derivation Tree 3 Complete: TRUE NOT(OR(D2,NOT(D1))) Derivation Tree 4 Complete: TRUE AND(AND(D1,OR(D1,OR(D1,D1))),NOT(NOT(AND(NOT(D2),NOT(D1))))) Derivation Tree 5 Complete: TRUE D2 [ FAIL 0 | WARN 0 | SKIP 0 | PASS 48 ] > > > proc.time() user system elapsed 0.71 0.07 0.79