GitHub · Where software is built

Labels Milestones New issue

Stop using <code>str(model)</code> in Record test

#61

· teiesti opened

on Mar 4, 2026

Offer a way to copy tests

#49

· AbdallahS opened

on Feb 2, 2026

Implement assertions on the inner structure of atoms

C-feature-requested

#47

· teiesti opened

on Sep 20, 2025

Support clingo's new last model API

C-feature-requested

#43

· teiesti opened

on Nov 5, 2024

Extend assertions to check for theory symbols

#39

· nrueh opened

on May 7, 2024

Built-in test for special cases

#38

· nrueh opened

on May 7, 2024

Enhance support for optimization

C-feature-requested

#33

· teiesti opened

on Mar 21, 2024

Color support

C-feature-requested

#28

· teiesti opened

on Feb 1, 2024

Add an assertion that checks if a models contains a predicate with a given signature

C-feature-requested

#27

· teiesti opened

on Feb 1, 2024

Save the model that decided a test

C-feature-requested

#26

· teiesti opened

on Feb 1, 2024

Test an Application class

C-feature-requested

#25

· susuhahnml opened

on Jan 31, 2024

Store and grant access to information on the assertion level

#24

· mihammer97 opened

on Jan 30, 2024