www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

run-all-rosette-tests.rkt (391B)

      1 #lang racket/base
      2 (require "rosette-tests.rkt")
      3 (require "rosette2-tests.rkt")
      4 (require "rosette-guide-sec2-tests.rkt")
      5 (require "rosette-guide-sec3-tests.rkt")
      6 (require "bv-tests.rkt")
      7 ;(require "bv-ref-tests.rkt")
      8 ; visit but dont instantiate, o.w. will get unsat
      9 ;(dynamic-require "fsm-test.rkt" #f)
     10 (require "ifc-tests.rkt")
     11 
     12 ; don't run this file for testing:
     13 (module test racket/base)