Model example library for testing #157

PedroGGBM · 2024-01-29T16:17:24Z

Original issue #65:

The minion bindings should have fully runnable and testable documentation examples.

As suggested by Chris Jefferson, having a library of example models would cut down on code duplication in these doctests.

This should take the form of a public module inside the crate with functions such as:

examples::bibd_model()
examples::xyz_model()

This should be used to rewrite the example for the callback type. This example needn't include details of model construction (it is primarily concerned with how you print the results at the end) , so it is an ideal candidate for using an example model.

Also potentially add some model building shortcut functions, such as making n variables of domain 0..m..

…tion dir

lixitrixi · 2024-01-29T21:58:55Z

Just wanted to add what we discussed today and submit it to peer review:

I was thinking a clean way to approach this "example registry" would be with a get_example_model function, which accepts a string, loads the corresponding .essence file from a hard-coded directory, parses it through conjure/json, and returns it, rather than hard-coded example constants.

This would mean we can create examples before/while adding support for certain AST variants. It would also force us to implement the parser for each new AST extension ASAP, which I personally think is a good thing.

@ozgurakgun what do you think?

ozgurakgun · 2024-01-30T09:30:28Z

Great idea! It'll make adding new examples a lot easier.

… COMPILE]

…ct walkdir filter

ozgurakgun · 2024-02-16T12:34:47Z

That doc coverage table is begging for a summary Pedro :)

…

On Fri, 16 Feb 2024 at 12:01 pm, github-actions[bot] < ***@***.***> wrote: Documentation Coverage This PR +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...jure_rules_proc_macro/src/lib.rs | 1 | 50.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 1 | 50.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...es/doc_solver_support/src/lib.rs | 1 | 50.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 1 | 50.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/conjure_rules/src/lib.rs | 2 | 66.7% | 1 | 33.3% | +-------------------------------------+------------+------------+------------+------------+ | Total | 2 | 66.7% | 1 | 33.3% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/conjure_core/src/ast.rs | 12 | 26.1% | 0 | 0.0% | | crates/conjure_core/src/lib.rs | 0 | 0.0% | 0 | 0.0% | | crates/conjure_core/src/rule.rs | 0 | 0.0% | 0 | 0.0% | | crates/conjure_core/src/solvers.rs | 2 | 40.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 14 | 23.3% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/uniplate/src/lib.rs | 1 | 100.0% | 1 | 100.0% | | crates/uniplate/src/uniplate.rs | 7 | 70.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 8 | 72.7% | 1 | 9.1% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | solvers/kissat/src/lib.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...b2718f45/out/chuffed_bindings.rs | 0 | 0.0% | 0 | 0.0% | | solvers/chuffed/src/lib.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | solvers/minion/src/ast.rs | 4 | 14.3% | 0 | 0.0% | | solvers/minion/src/error.rs | 5 | 62.5% | 0 | 0.0% | | solvers/minion/src/lib.rs | 1 | 100.0% | 1 | 100.0% | | solvers/minion/src/run.rs | 2 | 100.0% | 1 | 100.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 12 | 30.8% | 2 | 11.8% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | conjure_oxide/src/error.rs | 1 | 14.3% | 0 | 0.0% | | conjure_oxide/src/find_conjure.rs | 1 | 50.0% | 0 | 0.0% | | ...ure_oxide/src/generate_custom.rs | 1 | 50.0% | 0 | 0.0% | | conjure_oxide/src/lib.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/parse.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/rewrite.rs | 2 | 66.7% | 0 | 0.0% | | conjure_oxide/src/rules/constant.rs | 1 | 100.0% | 0 | 0.0% | | conjure_oxide/src/solvers/error.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/solvers/kissat.rs | 1 | 14.3% | 0 | 0.0% | | conjure_oxide/src/solvers/minion.rs | 1 | 100.0% | 0 | 0.0% | | conjure_oxide/src/solvers/mod.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 8 | 24.2% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ Main +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...jure_rules_proc_macro/src/lib.rs | 1 | 50.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 1 | 50.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...es/doc_solver_support/src/lib.rs | 1 | 50.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 1 | 50.0% | 1 | 50.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/conjure_rules/src/lib.rs | 2 | 66.7% | 1 | 33.3% | +-------------------------------------+------------+------------+------------+------------+ | Total | 2 | 66.7% | 1 | 33.3% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/conjure_core/src/ast.rs | 12 | 26.1% | 0 | 0.0% | | crates/conjure_core/src/lib.rs | 0 | 0.0% | 0 | 0.0% | | crates/conjure_core/src/rule.rs | 0 | 0.0% | 0 | 0.0% | | crates/conjure_core/src/solvers.rs | 2 | 40.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 14 | 23.3% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | crates/uniplate/src/lib.rs | 1 | 100.0% | 1 | 100.0% | | crates/uniplate/src/uniplate.rs | 7 | 70.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 8 | 72.7% | 1 | 9.1% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | solvers/kissat/src/lib.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | ...b2718f45/out/chuffed_bindings.rs | 0 | 0.0% | 0 | 0.0% | | solvers/chuffed/src/lib.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | solvers/minion/src/ast.rs | 4 | 14.3% | 0 | 0.0% | | solvers/minion/src/error.rs | 5 | 62.5% | 0 | 0.0% | | solvers/minion/src/lib.rs | 1 | 100.0% | 1 | 100.0% | | solvers/minion/src/run.rs | 2 | 100.0% | 1 | 100.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 12 | 30.8% | 2 | 11.8% | +-------------------------------------+------------+------------+------------+------------+ +-------------------------------------+------------+------------+------------+------------+ | File | Documented | Percentage | Examples | Percentage | +-------------------------------------+------------+------------+------------+------------+ | conjure_oxide/src/error.rs | 1 | 14.3% | 0 | 0.0% | | conjure_oxide/src/find_conjure.rs | 1 | 50.0% | 0 | 0.0% | | conjure_oxide/src/lib.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/parse.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/rewrite.rs | 2 | 66.7% | 0 | 0.0% | | conjure_oxide/src/rules/constant.rs | 1 | 100.0% | 0 | 0.0% | | conjure_oxide/src/solvers/error.rs | 0 | 0.0% | 0 | 0.0% | | conjure_oxide/src/solvers/kissat.rs | 1 | 14.3% | 0 | 0.0% | | conjure_oxide/src/solvers/minion.rs | 1 | 100.0% | 0 | 0.0% | | conjure_oxide/src/solvers/mod.rs | 0 | 0.0% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ | Total | 7 | 22.6% | 0 | 0.0% | +-------------------------------------+------------+------------+------------+------------+ Code Coverage This PR <https://conjure-cp.github.io/conjure-oxide/coverage/cdb54538c05b3f8fcf9c44d5cc13b4740b76188a> lines......: 30.7% (935 of 3049 lines) functions..: 22.0% (97 of 440 functions) branches...: no data found Main <https://conjure-cp.github.io/conjure-oxide/coverage/main> lines......: 84.1% (2781 of 3307 lines) functions..: 61.6% (300 of 487 functions) branches...: no data found — Reply to this email directly, view it on GitHub <#157 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AABNEUXFGAALIIKBDHSRK6LYT5DAPAVCNFSM6AAAAABCPXBRMCVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSNBYGI3DGOBWG4> . You are receiving this because you were mentioned.Message ID: ***@***.***>

lixitrixi · 2024-02-20T00:35:38Z

CI is failing because of the following error:

Unhandled error: HttpError: Resource not accessible by integration

This seems to be a CI issue? Not sure what's going on. @niklasdewally

niklasdewally · 2024-02-20T09:11:54Z

CI is failing because of the following error:

Unhandled error: HttpError: Resource not accessible by integration

This seems to be a CI issue? Not sure what's going on. @niklasdewally

Already discussed this with @PedroGGBM over teams - there seems to be a duplicate version of the "code and documentation coverage" ci in this PR from when Pedro was experimenting with it.

@PedroGGBM if you just delete the yaml file of the broken workflow it should just disappear.

.github/workflows/code-coverage-bot-draft.yml

ozgurakgun · 2024-02-21T15:19:35Z

rm the conjure-output folder

github-actions · 2024-02-21T15:29:46Z

Documentation Coverage

This PR

+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| ...jure_rules_proc_macro/src/lib.rs |          1 |      50.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          1 |      50.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| ...es/doc_solver_support/src/lib.rs |          1 |      50.0% |          1 |      50.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          1 |      50.0% |          1 |      50.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| crates/conjure_rules/src/lib.rs     |          2 |      66.7% |          1 |      33.3% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          2 |      66.7% |          1 |      33.3% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| crates/conjure_core/src/ast.rs      |         12 |      26.1% |          0 |       0.0% |
| crates/conjure_core/src/lib.rs      |          0 |       0.0% |          0 |       0.0% |
| crates/conjure_core/src/metadata.rs |          0 |       0.0% |          0 |       0.0% |
| crates/conjure_core/src/rule.rs     |          0 |       0.0% |          0 |       0.0% |
| crates/conjure_core/src/solvers.rs  |          2 |      40.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |         14 |      21.9% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| crates/uniplate/src/lib.rs          |          1 |     100.0% |          1 |     100.0% |
| crates/uniplate/src/uniplate.rs     |          7 |      70.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          8 |      72.7% |          1 |       9.1% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| solvers/kissat/src/lib.rs           |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| solvers/minion/src/ast.rs           |          4 |       4.1% |          0 |       0.0% |
| solvers/minion/src/error.rs         |          5 |      62.5% |          0 |       0.0% |
| solvers/minion/src/lib.rs           |          1 |     100.0% |          1 |     100.0% |
| solvers/minion/src/run.rs           |          2 |     100.0% |          1 |     100.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |         12 |      11.0% |          2 |      11.8% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| conjure_oxide/src/error.rs          |          1 |      14.3% |          0 |       0.0% |
| conjure_oxide/src/find_conjure.rs   |          1 |      50.0% |          0 |       0.0% |
| ...ure_oxide/src/generate_custom.rs |          2 |      66.7% |          0 |       0.0% |
| conjure_oxide/src/lib.rs            |          0 |       0.0% |          0 |       0.0% |
| conjure_oxide/src/parse.rs          |          0 |       0.0% |          0 |       0.0% |
| conjure_oxide/src/rewrite.rs        |          2 |      66.7% |          0 |       0.0% |
| conjure_oxide/src/rules/constant.rs |          1 |     100.0% |          0 |       0.0% |
| conjure_oxide/src/solvers/error.rs  |          0 |       0.0% |          0 |       0.0% |
| conjure_oxide/src/solvers/kissat.rs |          1 |      14.3% |          0 |       0.0% |
| conjure_oxide/src/solvers/minion.rs |          1 |     100.0% |          0 |       0.0% |
| conjure_oxide/src/solvers/mod.rs    |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          9 |      26.5% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| ...932d5ea6/out/chuffed_bindings.rs |          0 |       0.0% |          0 |       0.0% |
| solvers/chuffed/src/lib.rs          |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+

Main

+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| ...es/doc_solver_support/src/lib.rs |          1 |      50.0% |          1 |      50.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          1 |      50.0% |          1 |      50.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| ...jure_rules_proc_macro/src/lib.rs |          1 |      50.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          1 |      50.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| crates/conjure_rules/src/lib.rs     |          2 |      66.7% |          1 |      33.3% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          2 |      66.7% |          1 |      33.3% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| crates/conjure_core/src/ast.rs      |         12 |      26.1% |          0 |       0.0% |
| crates/conjure_core/src/lib.rs      |          0 |       0.0% |          0 |       0.0% |
| crates/conjure_core/src/metadata.rs |          0 |       0.0% |          0 |       0.0% |
| crates/conjure_core/src/rule.rs     |          0 |       0.0% |          0 |       0.0% |
| crates/conjure_core/src/solvers.rs  |          2 |      40.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |         14 |      21.9% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| crates/uniplate/src/lib.rs          |          1 |     100.0% |          1 |     100.0% |
| crates/uniplate/src/uniplate.rs     |          7 |      70.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          8 |      72.7% |          1 |       9.1% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| solvers/minion/src/ast.rs           |          4 |       4.1% |          0 |       0.0% |
| solvers/minion/src/error.rs         |          5 |      62.5% |          0 |       0.0% |
| solvers/minion/src/lib.rs           |          1 |     100.0% |          1 |     100.0% |
| solvers/minion/src/run.rs           |          2 |     100.0% |          1 |     100.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |         12 |      11.0% |          2 |      11.8% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| conjure_oxide/src/error.rs          |          1 |      14.3% |          0 |       0.0% |
| conjure_oxide/src/find_conjure.rs   |          1 |      50.0% |          0 |       0.0% |
| conjure_oxide/src/lib.rs            |          0 |       0.0% |          0 |       0.0% |
| conjure_oxide/src/parse.rs          |          0 |       0.0% |          0 |       0.0% |
| conjure_oxide/src/rewrite.rs        |          2 |      66.7% |          0 |       0.0% |
| conjure_oxide/src/rules/constant.rs |          1 |     100.0% |          0 |       0.0% |
| conjure_oxide/src/solvers/error.rs  |          0 |       0.0% |          0 |       0.0% |
| conjure_oxide/src/solvers/kissat.rs |          1 |      14.3% |          0 |       0.0% |
| conjure_oxide/src/solvers/minion.rs |          1 |     100.0% |          0 |       0.0% |
| conjure_oxide/src/solvers/mod.rs    |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          7 |      22.6% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| solvers/kissat/src/lib.rs           |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
+-------------------------------------+------------+------------+------------+------------+
| File                                | Documented | Percentage |   Examples | Percentage |
+-------------------------------------+------------+------------+------------+------------+
| ...932d5ea6/out/chuffed_bindings.rs |          0 |       0.0% |          0 |       0.0% |
| solvers/chuffed/src/lib.rs          |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+
| Total                               |          0 |       0.0% |          0 |       0.0% |
+-------------------------------------+------------+------------+------------+------------+

Code Coverage

This PR

  lines......: 80.4% (3291 of 4094 lines)
  functions..: 60.2% (309 of 513 functions)
  branches...: no data found

Main

  lines......: 80.8% (3232 of 4001 lines)
  functions..: 60.5% (305 of 504 functions)
  branches...: no data found

Eliminated example/ dir to integrate with conjure_oxide/tests/integra…

e2af1ec

…tion dir

niklasdewally assigned PedroGGBM Jan 29, 2024

PedroGGBM added 2 commits January 31, 2024 14:46

init attempt for generate_custom.rs for example custom string input

7c79347

Added comprehension and enumerate essence file examples

1c208e3

niklasdewally linked an issue Jan 31, 2024 that may be closed by this pull request

Model example library for documentation #65

Closed

niklasdewally removed a link to an issue Jan 31, 2024

Model example library for documentation #65

Closed

PedroGGBM and others added 7 commits January 31, 2024 20:07

generate_custom.rs temporary fix for walkdir filter filename [DOESN'T…

a73702a

… COMPILE]

Merge branch 'conjure-cp:main' into pedro-dev

1261604

added finite given [set] tests

fc9bfee

Merge branch 'conjure-cp:main' into pedro-dev

f28ce0a

fix for generate_custom.rs get_example_model: only filename and corre…

846d7b3

…ct walkdir filter

added 'interesting tests' to integration test dir

4fdfd09

fix dependencies in main.rs for custom_example

0dc195e

niklasdewally added area::conjure-oxide Related to conjure_oxide. kind::testing Testing and Correctness labels Feb 13, 2024

(ignore) playing around with code coverage sample yml file

cdb5453

PedroGGBM added 3 commits February 19, 2024 16:41

final changes custom return model function

27bb092

Merge branch 'main' into pedro-dev

d27dfe3

changed main.rs cfg tests to xyz instead of bool (no current support)

0ec5946

PedroGGBM marked this pull request as ready for review February 19, 2024 19:55

niklasdewally reviewed Feb 20, 2024

View reviewed changes

.github/workflows/code-coverage-bot-draft.yml Outdated Show resolved Hide resolved

PedroGGBM added 3 commits February 20, 2024 14:31

eliminated yaml code-coverage file for PR test passing

c362a79

Merge branch 'main' into pedro-dev

828809d

debug boolean 01/02/03 integration test with cargo test

f7e48e2

removed conjure-output for basic/01 bool tests folder

37ad20e

ozgurakgun merged commit fb407f3 into conjure-cp:main Feb 21, 2024
8 checks passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Model example library for testing #157

Model example library for testing #157

PedroGGBM commented Jan 29, 2024

lixitrixi commented Jan 29, 2024

ozgurakgun commented Jan 30, 2024

ozgurakgun commented Feb 16, 2024 via email

lixitrixi commented Feb 20, 2024

niklasdewally commented Feb 20, 2024

ozgurakgun commented Feb 21, 2024

github-actions bot commented Feb 21, 2024

Model example library for testing #157

Model example library for testing #157

Conversation

PedroGGBM commented Jan 29, 2024

lixitrixi commented Jan 29, 2024

ozgurakgun commented Jan 30, 2024

ozgurakgun commented Feb 16, 2024 via email

lixitrixi commented Feb 20, 2024

niklasdewally commented Feb 20, 2024

ozgurakgun commented Feb 21, 2024

github-actions bot commented Feb 21, 2024

Documentation Coverage

Code Coverage