enable tests now that #150 has been fixed

2017-06-27 22:48:57 -05:00 · 2017-06-27 22:48:57 -05:00 · f3350c5499
parent 6024080570
commit f3350c5499
1 changed files with 0 additions and 12 deletions
--- 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-*