Colin Vidal
cb07b3a8e9
Unit tests covering builtin mode
...
Add unit test for builtin mode logic as well as few tidy-up in the code
(adding some assertions and API documentation), in particular, to make
it clear that builtin-mode is tight to an opened clause, so it must be
set to a currently opened clause.
2025-02-24 10:35:39 +01:00
..
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-24 10:35:39 +01:00
2025-02-22 16:19:00 +01:00
2022-12-20 21:24:45 +02:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2024-08-15 10:05:32 +02:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-24 10:33:02 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2024-12-26 17:23:12 +02:00
2023-12-06 15:15:25 +02:00
2025-02-22 16:19:00 +01:00
2023-12-06 15:15:24 +02:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2024-11-19 12:27:22 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2025-02-22 16:19:00 +01:00
2024-11-19 12:27:22 +01:00
2025-02-22 16:19:00 +01:00