-
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
5dd5716
commit a540a45
Showing
2 changed files
with
9 additions
and
60 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,61 +1,3 @@ | ||
#!/bin/bash | ||
|
||
# | ||
# Args: | ||
# $1: Use SMLUnit (true/false) | ||
# | ||
|
||
|
||
python3 test.py | ||
|
||
# USE_SMLUNIT=${1:-false} | ||
|
||
# # Define the path to the tests folder | ||
# TESTS_DIR="./tests" | ||
|
||
# # Find all files that start with "test_" and end with ".sml" in the tests folder | ||
# TEST_FILES=$(find "$TESTS_DIR" -type f -name "test_*.sml") | ||
|
||
# # Check if we found any test files | ||
# if [ -z "$TEST_FILES" ]; then | ||
# echo "No test files found." | ||
# exit 1 | ||
# fi | ||
|
||
# # Initialize a variable to track if any test fails | ||
# TEST_FAILED=0 | ||
|
||
# # Load each test file in the SML interpreter | ||
# for TEST_FILE in $TEST_FILES; do | ||
# echo "Running tests in: $TEST_FILE" | ||
|
||
# # If we are using SMLUnit, load the SMLUnit library before loading the test file | ||
# if [ "$USE_SMLUNIT" = true ]; then | ||
# echo "Using SMLUnit" | ||
# export LD_LIBRARY_PATH=/usr/lib/x86_64-linux-gnu:$LD_LIBRARY_PATH | ||
# # smlsharp < "$TESTS_DIR/SMLUnit/smlunit-lib.smi" | ||
# smlsharp < "$TEST_FILE" | ||
# EXIT_CODE=$? | ||
|
||
# # Else, just use sml to load the test file | ||
# else | ||
# sml < "$TEST_FILE" | ||
# EXIT_CODE=$? | ||
# fi | ||
|
||
# # If the test failed (non-zero exit code), mark it as failed | ||
# if [ $EXIT_CODE -ne 0 ]; then | ||
# echo "Test failed in: $TEST_FILE" | ||
# TEST_FAILED=1 | ||
# fi | ||
# done | ||
|
||
# # Exit with error if any tests failed | ||
# if [ $TEST_FAILED -ne 0 ]; then | ||
# echo "Some tests failed." | ||
# exit 1 | ||
# else | ||
# echo "All tests passed." | ||
# exit 0 | ||
# fi | ||
|
||
PYTHON_PATH=$(which python3) | ||
$PYTHON_PATH test.py "$@" |