From f3350c54994c129169a5d79cc2f1fd71858704da Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 27 Jun 2017 22:48:57 -0500
Subject: [PATCH] enable tests now that #150 has been fixed

---
 ci/run.sh | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/ci/run.sh b/ci/run.sh
index 9562b7f..c37ca48 100755
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -31,18 +31,6 @@ case $1 in
                     ;;
             esac
 
-            # FIXME(#150) debug assertion in divmoddi4
-            case $1 in
-                thumbv6m-*)
-                    case $t in
-                        divdi3 | divmoddi4 | moddi3 | modsi3 | udivmoddi4 | udivmodsi4 | umoddi3 | \
-                            umodsi3)
-                            continue
-                            ;;
-                    esac
-                ;;
-            esac
-
             xargo test --test $t --target $1 --features 'mem gen-tests' --no-run
             qemu-arm-static target/${1}/debug/$t-*