From e66e82138d611211c0d9620e7a01af837e500d4c Mon Sep 17 00:00:00 2001 From: "Hsieh, Chiao" <chsieh16@illinois.edu> Date: Fri, 10 Dec 2021 20:33:25 -0600 Subject: [PATCH] Fix bounds for teacher --- region_synth.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/region_synth.py b/region_synth.py index 9bdaf23..e629ffe 100644 --- a/region_synth.py +++ b/region_synth.py @@ -48,8 +48,8 @@ def test_synth_region(): teacher = Teacher() assert teacher.state_dim + teacher.perc_dim == ex_dim - # 0.0 <= x <= 30.0 and 0.9 <= y <= 1.0 and -0.2 <= theta <= -0.22 - teacher.set_old_state_bound(lb=[0.0, 0.9, -0.22], ub=[30.0, 1.0, -0.2]) + # 0.0 <= x <= 30.0 and -1.0 <= y <= 0.9 and 0.2 <= theta <= 0.22 + teacher.set_old_state_bound(lb=[0.0, -1.0, 0.2], ub=[30.0, -0.9, 0.22]) synth_region(positive_examples, teacher, num_max_iterations=20) -- GitLab