diff --git a/tox.ini b/tox.ini
index c85c7b9..cac3bec 100644
--- a/tox.ini
+++ b/tox.ini
@@ -3,3 +3,4 @@ envlist = py35
 [testenv]
 commands=
     osaca --arch ivb --iaca examples/taxCalc-ivb-iaca
+    osaca --arch ivb --iaca examples/taxCalc-ivb-iaca.S