-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
ac1b59e
commit f4ea9ca
Showing
3 changed files
with
129 additions
and
45 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,25 +1,109 @@ | ||
| (* Function to convert int to string *) | ||
| fun valueToStringInt(n: int) = Int.toString(n); | ||
|
|
||
| (* Function to convert bool to string *) | ||
| fun valueToStringBool(true) = "true" | ||
| | valueToStringBool(false) = "false"; | ||
|
|
||
| (* Function to convert int list to string (example) *) | ||
| fun valueToStringIntList([]) = "[]" | ||
| | valueToStringIntList(lst) = "[" ^ String.concatWith ", " (List.map Int.toString lst) ^ "]"; | ||
|
|
||
| (* Function to color the output in the terminal *) | ||
| fun red(s) = "\027[31m" ^ s ^ "\027[0m" | ||
| fun green(s) = "\027[32m" ^ s ^ "\027[0m" | ||
| fun green(s) = "\027[32m" ^ s ^ "\027[0m"; | ||
|
|
||
| (* Generic test runner for int -> int functions *) | ||
| fun runTestCasesIntInt([]) = () | ||
| | runTestCasesIntInt(testCaseList) = | ||
| let | ||
| val (f, param, expected) = hd(testCaseList); | ||
| val result = f(param); | ||
| val testMessage = | ||
| if result <> expected then | ||
| red("Test failed\n") ^ | ||
| "Expected: " ^ valueToStringInt(expected) ^ "\n" ^ | ||
| "Actual: " ^ valueToStringInt(result) ^ "\n\n" | ||
| else | ||
| green("Test passed\n"); | ||
| in | ||
| print(testMessage); | ||
| (* Error code so GH actions can detect if a test failed *) | ||
| if result <> expected then raise Fail("Test failed") else runTestCasesIntInt(tl(testCaseList)) | ||
| end; | ||
|
|
||
| (* Enhanced test case runner with more visual indicators *) | ||
| fun runTestCases([]) = () | ||
| | runTestCases(testCaseList) = | ||
| (* Generic test runner for bool list -> bool functions *) | ||
| fun runTestCasesBoolListBool([]) = () | ||
| | runTestCasesBoolListBool(testCaseList) = | ||
| let | ||
| val (f, param, expected) = hd(testCaseList); | ||
| val result = f(param); | ||
| val testMessage = | ||
| if result <> expected then | ||
| red("Test failed\n") ^ | ||
| "Expected: " ^ Int.toString(expected) ^ "\n" ^ | ||
| "Actual: " ^ Int.toString(result) ^ "\n\n" | ||
| "Expected: " ^ valueToStringBool(expected) ^ "\n" ^ | ||
| "Actual: " ^ valueToStringBool(result) ^ "\n\n" | ||
| else | ||
| green("Test passed\n"); | ||
| in | ||
| print(testMessage); | ||
| (* Error code so GH actions can detect if a test failed *) | ||
| if result <> expected then raise Fail("Test failed") else runTestCasesBoolListBool(tl(testCaseList)) | ||
| end; | ||
|
|
||
| fun runTestCasesIntListInt([]) = () | ||
| (* going from int list to a single int *) | ||
| | runTestCasesIntListInt(testCaseList) = | ||
| let | ||
| val (f, param, expected) = hd(testCaseList); | ||
| val result = f(param); | ||
| val testMessage = | ||
| if result <> expected then | ||
| red("Test failed\n") ^ | ||
| "Expected: " ^ valueToStringInt(expected) ^ "\n" ^ | ||
| "Actual: " ^ valueToStringInt(result) ^ "\n\n" | ||
| else | ||
| green("Test passed\n"); | ||
| in | ||
| print(testMessage); | ||
| (* Error code so GH actions can detect if a test failed *) | ||
| if result <> expected then raise Fail("Test failed") else runTestCasesIntListInt(tl(testCaseList)) | ||
| end; | ||
|
|
||
| (* Generic test runner for int list -> int list functions *) | ||
|
|
||
| fun runTestCasesIntListIntList([]) = () | ||
| | runTestCasesIntListIntList(testCaseList) = | ||
| let | ||
| val (f, param, expected) = hd(testCaseList); | ||
| val result = f(param); | ||
| val testMessage = | ||
| if result <> expected then | ||
| red("Test failed\n") ^ | ||
| "Expected: " ^ valueToStringIntList(expected) ^ "\n" ^ | ||
| "Actual: " ^ valueToStringIntList(result) ^ "\n\n" | ||
| else | ||
| green("Test passed\n"); | ||
| in | ||
| print(testMessage); | ||
| (* Error code so GH actions can detect if a test failed *) | ||
| if result <> expected then raise Fail("Test failed") else runTestCasesIntListIntList(tl(testCaseList)) | ||
| end; | ||
|
|
||
| (* Generic test runner for functions *) | ||
| fun runTestCasesIntListIntListOperatorToIntList([]) = () | ||
| | runTestCasesIntListIntListOperatorToIntList(testCaseList) = | ||
| let | ||
| val (f, param1, param2, operator, expected) = hd(testCaseList); | ||
| val result = f(param1, param2, operator); | ||
| val testMessage = | ||
| if result <> expected then | ||
| red("Test failed\n") ^ "Expected: " ^ valueToStringIntList(expected) ^ "\n" ^ | ||
| "Actual: " ^ valueToStringIntList(result) ^ "\n\n" | ||
| else | ||
| green("Test passed\n"); | ||
| in | ||
| print(testMessage); | ||
| (* Error code so GH actions can detect if a test failed *) | ||
| if result <> expected then raise Fail("Test failed") else runTestCases(tl(testCaseList)) | ||
| (* runTestCases(tl(testCaseList)) *) | ||
| if result <> expected then raise Fail("Test failed") else runTestCasesIntListIntListOperatorToIntList(tl(testCaseList)) | ||
| end; |