Skip to content

Commit

Permalink
fix test ego
Browse files Browse the repository at this point in the history
  • Loading branch information
Paul-Saves committed Mar 12, 2024
1 parent 744a5f0 commit 7a55502
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions smt/applications/tests/test_ego.py
Original file line number Diff line number Diff line change
Expand Up @@ -1404,5 +1404,4 @@ def run(self, fun, x):
if "--example" in argv:
TestEGO.run_ego_mixed_integer_example()
exit()
# unittest.main()
TestEGO().test_ego_random_stateing()
unittest.main()

0 comments on commit 7a55502

Please sign in to comment.