From 8d20ed06372e21764f2f2c519ca43541cdda6937 Mon Sep 17 00:00:00 2001 From: williamzhu17 Date: Thu, 8 May 2025 17:38:42 -0700 Subject: [PATCH] updated tests a bit --- tests/silimate/opt_balance_tree.ys | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/tests/silimate/opt_balance_tree.ys b/tests/silimate/opt_balance_tree.ys index 5d15f92ca..50795226a 100644 --- a/tests/silimate/opt_balance_tree.ys +++ b/tests/silimate/opt_balance_tree.ys @@ -19,8 +19,7 @@ EOF check -assert # Check equivalence after opt_expand -# equiv_opt -assert opt_balance_tree -opt_balance_tree +equiv_opt -assert opt_balance_tree # TODO check design to make sure that it is not turned into a tree # design -load postopt @@ -51,8 +50,7 @@ EOF check -assert # Check equivalence after opt_expand -# equiv_opt -assert opt_balance_tree -opt_balance_tree +equiv_opt -assert opt_balance_tree # TODO check design to make sure that it is not turned into a tree # Note: this one already worked, just including here for completeness @@ -80,8 +78,7 @@ EOF check -assert # Check equivalence after opt_expand -# equiv_opt -assert opt_balance_tree -opt_balance_tree +equiv_opt -assert opt_balance_tree # TODO check design to make sure that it is not turned into a tree # Note: this one already worked, just including here for completeness @@ -112,8 +109,7 @@ EOF check -assert # Check equivalence after opt_expand -# equiv_opt -assert opt_balance_tree -opt_balance_tree +equiv_opt -assert opt_balance_tree # TODO check design to make sure that it is not turned into a tree # Note: this one already worked, just including here for completeness @@ -142,8 +138,7 @@ EOF check -assert # Check equivalence after opt_expand -# equiv_opt -assert opt_balance_tree -opt_balance_tree +equiv_opt -assert opt_balance_tree # TODO check design to make sure that it is not turned into a tree # Note: this one already worked, just including here for completeness