Search results

Add tests for internal type definitions in TableauExpansionTypes

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#13 In CAPHTECH/TemporalKit;

· rizumita opened on Jun 14, 2025

Implement property-based testing for core algorithms

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#12 In CAPHTECH/TemporalKit;

· rizumita opened on Jun 14, 2025

Add tests for ProductState structure

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#11 In CAPHTECH/TemporalKit;

· rizumita opened on Jun 14, 2025

Add unit tests for TableauNode structure

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#10 In CAPHTECH/TemporalKit;

· rizumita opened on Jun 14, 2025

Add unit tests for PropositionFactories factory functions

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#9 In CAPHTECH/TemporalKit;

· rizumita opened on Jun 14, 2025

Create end-to-end integration tests for complete model checking workflow

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#8 In CAPHTECH/TemporalKit;

· rizumita opened on Jun 14, 2025

Add unit tests for Generalized Büchi to Büchi Automaton converter

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#7 In CAPHTECH/TemporalKit;

· rizumita opened on Jun 14, 2025

Create comprehensive tests for Negation Normal Form converter

enhancementNew feature or requestNew feature or request

testing

Status: Open.

#6 In CAPHTECH/TemporalKit;

· rizumita opened on Jun 14, 2025