Comments (7)
There is a "make check" command to run some non-regression tests. If think they are handmade, meaning that they don't use any existing testing framework.
What kind of tests do you plan to make? Unit tests of functions?
from absolute.
Yes, unit tests. Black box tests are good and necessary too, but not for details / invariants of algorithms / ...
from absolute.
I use alcotest on my fork, which is not invasive, without ppx macro, and seems to work great so far!
from absolute.
I agree alcotest looks great.
from absolute.
Especially the name.
from absolute.
Do you want to deploy it?
from absolute.
I forgot to push the changes on my fork but I already set up everything here (the build file, and the test/ repository), so we just need to pull-request this part (although I don't know how to pull request only that part and not the rest...).
from absolute.
Related Issues (11)
- Solutions that should not exist? HOT 6
- Todo List HOT 2
- Using dune to compile AbSolute HOT 5
- Continuous integration service (travis) HOT 2
- Pruning + step by step HOT 1
- FPE on converting infinite float to rational HOT 6
- segfault with box on rational HOT 1
- Error on opam install HOT 1
- Expr.eval fails on function
- Result.inner_ratio always give 0
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from absolute.