Fix logic in tests

tests/sat/repr2.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/sat/test-Top-Int_Pow1_invalid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/bug11.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/test-Top-Double1_valid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/test-Top-Double2_valid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/test-Top-G0_valid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/test-Top-G1_valid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/test-Top-G3_valid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/test-Top-G4_valid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/test-Top-Square1_valid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part

tests/unsat/test-Top-Square2_valid.smt2

 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part