the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

add dummy test

Josh Brown c8bd6296 105d1c42

+28
+19
tests/SExpTest.mjs
··· 1 + // Generated by ReScript, PLEASE EDIT WITH CARE 2 + 3 + import * as Test from "rescript-test/src/Test.mjs"; 4 + 5 + function intEqual(message, a, b) { 6 + Test.assertion(message, "Int equals", (function (a, b) { 7 + return a === b; 8 + }), a, b); 9 + } 10 + 11 + Test.test("add", (function () { 12 + intEqual(undefined, 2, 2); 13 + intEqual("1 + 2 === 3", 3, 3); 14 + })); 15 + 16 + export { 17 + intEqual , 18 + } 19 + /* Not a pure module */
+9
tests/SExpTest.res
··· 1 + open Test 2 + 3 + let intEqual = (~message=?, a: int, b: int) => 4 + assertion(~message?, ~operator="Int equals", (a, b) => a === b, a, b) 5 + 6 + test("add", () => { 7 + intEqual(1 + 1, 2) 8 + intEqual(~message="1 + 2 === 3", 1 + 2, 3) 9 + })