Skip to content

Add Prelude Testing - #142

Open
mariari wants to merge 1 commit into
mainfrom
mariari/prelude-testing
Open

Add Prelude Testing#142
mariari wants to merge 1 commit into
mainfrom
mariari/prelude-testing

Conversation

@mariari

@mariari mariari commented Nov 7, 2024

Copy link
Copy Markdown

Adds a module to test the Prelude

@mariari
mariari force-pushed the mariari/prelude-testing branch from f4551ae to 5100e20 Compare November 7, 2024 06:16
@lukaszcz
lukaszcz force-pushed the mariari/prelude-testing branch from 5100e20 to ec39416 Compare December 1, 2024 17:31
@lukaszcz

Copy link
Copy Markdown
Contributor

This won't be run automatically by make test. You need to add an appropriate runTestSuite to the main function in test/Test.juvix.

@lukaszcz
lukaszcz force-pushed the mariari/prelude-testing branch from ec39416 to fed2481 Compare January 14, 2025 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants