https://github.com/rimrakhimov/cakeml-testlib

Basic testing library written on CakeML based on SMLUnit testing framework
https://github.com/rimrakhimov/cakeml-testlib

Last synced: 26 days ago
JSON representation

Basic testing library written on CakeML based on SMLUnit testing framework

• Host: GitHub
• URL: https://github.com/rimrakhimov/cakeml-testlib
• Owner: rimrakhimov
• Created: 2020-09-29T09:09:45.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-09-29T09:38:32.000Z (over 4 years ago)
• Last Synced: 2024-12-23T22:20:59.039Z (about 1 month ago)
• Language: Standard ML
• Size: 6.84 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# CakeML-Testlib

Basic testing library written on CakeML based on ![SMLUnit](https://github.com/smlsharp/SMLUnit) testing framework.

# Setup

1. To build the program change the path to CakeML compiler in the Makefile 

    `CAKE_DIR = ~/cake-x64-64`

    on the path your compiler is located in.

1. Run `make` command in your terminal.

# Content

1. __*src*__ contains source code for the testing framework.

1. __*example*__ has an example of using the framework using custom dictionary structure example.