MLTTDB Test Run
3Passed
0Failed
0Skipped
0Not Run
| Status | Test ID | Component | Name | Duration | Reason | Log | Requirements | Command |
|---|---|---|---|---|---|---|---|---|
| pass | sqlite-store-node | term-store | SQLite term-store API and webapp tests | 0.29s | log | REQ-API-001, REQ-API-002, REQ-API-003, REQ-API-004, REQ-API-005, REQ-API-006, REQ-API-007, REQ-API-008, REQ-API-009, REQ-API-010, REQ-API-011, REQ-API-012, REQ-API-013, REQ-API-014, REQ-API-015, REQ-API-016, REQ-API-017, REQ-API-018, REQ-API-019 | node --test sqlite-store/test/term_store_sqlite.test.js | |
| pass | preproc-python | preprocessors | Agda, Lean, and Rocq preprocessor tests | 1.26s | log | REQ-PREPROC-AGDA-001, REQ-PREPROC-AGDA-002, REQ-PREPROC-AGDA-003, REQ-PREPROC-AGDA-004, REQ-PREPROC-LEAN-001, REQ-PREPROC-LEAN-002, REQ-PREPROC-LEAN-003, REQ-PREPROC-LEAN-004, REQ-PREPROC-ROCQ-001, REQ-PREPROC-ROCQ-002, REQ-PREPROC-ROCQ-003, REQ-PREPROC-ROCQ-004 | python3 -m unittest discover -s preproc/test | |
| pass | agda-custom-mlttdb | agda-custom | Custom Agda MLTTDB subrepository tests | 7.84s | log | REQ-AGDA-SYN-001, REQ-AGDA-SYN-002, REQ-AGDA-SYN-003, REQ-AGDA-SYN-004, REQ-AGDA-SYN-005, REQ-AGDA-MODE-001, REQ-AGDA-MODE-002, REQ-AGDA-MODE-003, REQ-AGDA-MODE-004 | sh tools/run_agda_custom_mlttdb.sh |