From 99693756549b79ab4da9cd0d9fbb4ae4e27b6e6d Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Tue, 12 Jul 2016 16:54:28 -0400 Subject: [PATCH] rename bv -> rosette --- turnstile/examples/rosette/{bv.rkt => rosette.rkt} | 0 .../examples/tests/rosette/{bv-tests.rkt => rosette-tests.rkt} | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename turnstile/examples/rosette/{bv.rkt => rosette.rkt} (100%) rename turnstile/examples/tests/rosette/{bv-tests.rkt => rosette-tests.rkt} (99%) diff --git a/turnstile/examples/rosette/bv.rkt b/turnstile/examples/rosette/rosette.rkt similarity index 100% rename from turnstile/examples/rosette/bv.rkt rename to turnstile/examples/rosette/rosette.rkt diff --git a/turnstile/examples/tests/rosette/bv-tests.rkt b/turnstile/examples/tests/rosette/rosette-tests.rkt similarity index 99% rename from turnstile/examples/tests/rosette/bv-tests.rkt rename to turnstile/examples/tests/rosette/rosette-tests.rkt index 96be45f..087919c 100644 --- a/turnstile/examples/tests/rosette/bv-tests.rkt +++ b/turnstile/examples/tests/rosette/rosette-tests.rkt @@ -1,4 +1,4 @@ -#lang s-exp "../../rosette/bv.rkt" +#lang s-exp "../../rosette/rosette.rkt" (require "../rackunit-typechecking.rkt") ;(check-type bv : (→ Int BVPred BV))