
echo "caller_caps"
swift run flint-test -t ~/.flint/utils/testRunner/test_results/test_flint_contracts/caller_caps.tflint  > temp.js
diff generated_js_files/caller_caps.js temp.js
rm temp.js
echo "c#########################"

echo "caller_unsat"
swift run flint-test -t ~/.flint/utils/testRunner/test_results/test_flint_contracts/caller_unsat.tflint  > temp.js
diff generated_js_files/caller_unsat.js temp.js
rm temp.js
echo "c#########################"

echo "expression_constructor"
swift run flint-test -t ~/.flint/utils/testRunner/test_results/test_flint_contracts/expression_constructor.tflint  > temp.js
diff generated_js_files/expression_constructor.js temp.js
rm temp.js
echo "c#########################"

echo "failing_test"
swift run flint-test -t ~/.flint/utils/testRunner/test_results/test_flint_contracts/failing_test.tflint  > temp.js
diff generated_js_files/failing_test.js temp.js
rm temp.js
echo "c#########################"

echo "series_of_tests"
swift run flint-test -t ~/.flint/utils/testRunner/test_results/test_flint_contracts/series_of_tests.tflint  > temp.js
diff generated_js_files/series_of_tests.js temp.js
rm temp.js
echo "c#########################"

echo "state_test"
swift run flint-test -t ~/.flint/utils/testRunner/test_results/test_flint_contracts/state_test.tflint  > temp.js
diff generated_js_files/state_test.js temp.js
rm temp.js
echo "c#########################"

echo "event"
swift run flint-test -t ~/.flint/utils/testRunner/test_results/test_flint_contracts/event.tflint  > temp.js
diff generated_js_files/event.js temp.js
rm temp.js
