Skip to content
This repository has been archived by the owner on Jan 24, 2024. It is now read-only.

Commit

Permalink
add strict guard
Browse files Browse the repository at this point in the history
  • Loading branch information
SigureMo committed Oct 9, 2023
1 parent 6420ae0 commit ee30b93
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions tests/test_error_handling.py
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
import unittest

from test_case_base import TestCaseBase, strict_mode_guard

import sot


Expand All @@ -10,11 +12,13 @@ def fn_with_try_except():
raise ValueError("ValueError")
except ValueError:
print("catch ValueError")
return True


class TestErrorHandling(unittest.TestCase):
class TestErrorHandling(TestCaseBase):
@strict_mode_guard(0)
def test_fn_with_try_except(self):
sot.symbolic_translate(fn_with_try_except)()
self.assert_results(fn_with_try_except)


if __name__ == "__main__":
Expand Down

0 comments on commit ee30b93

Please sign in to comment.