summaryrefslogtreecommitdiff
path: root/tests/vloghtb/common.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tests/vloghtb/common.sh')
-rw-r--r--tests/vloghtb/common.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/vloghtb/common.sh b/tests/vloghtb/common.sh
index 704afdd9..1c60d794 100644
--- a/tests/vloghtb/common.sh
+++ b/tests/vloghtb/common.sh
@@ -28,7 +28,8 @@ test_equiv()
$2
cd ..
- miter -equiv -flatten -ignore_gold_x -make_outputs -make_outcmp gold work miter
+ miter -equiv -ignore_gold_x -make_outputs -make_outcmp gold work miter
+ flatten miter
sat $3 -verify -prove trigger 0 -show-inputs -show-outputs miter
EOT
then