search

RAIRLab / Peirce-My-Heart

A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
https://rairlab.github.io/Peirce-My-Heart/
MIT License
10 stars 0 forks source link

Vitest Suite Additions! #334

Closed RyanR712 closed 8 months ago

RyanR712 commented 8 months ago

Strewn across our source code, there are exported methods that have no tests! How could Ryan allow this?

Main culprits:

RyanR712 commented 8 months ago

Removing ProofNode.ts and Themes.ts from the checklist since they do not export functions with return types

RyanR712 commented 8 months ago

Removing ProoToolUtils.ts from the checklist since all methods within rely entirely on TreeContext.ts which is not instantiated during AEG tests

RyanR712 commented 8 months ago

Removing EditModeUtils.ts from the checklist since it relies on the document element, which is also not instantiated during AEG tests. Great work, Ryan