diff options
Diffstat (limited to 'testrunner/src/test/java/com/galois/fiveui/testrunner/PassFail.java')
-rw-r--r-- | testrunner/src/test/java/com/galois/fiveui/testrunner/PassFail.java | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/testrunner/src/test/java/com/galois/fiveui/testrunner/PassFail.java b/testrunner/src/test/java/com/galois/fiveui/testrunner/PassFail.java deleted file mode 100644 index effc530..0000000 --- a/testrunner/src/test/java/com/galois/fiveui/testrunner/PassFail.java +++ /dev/null @@ -1,26 +0,0 @@ -/** - * Module : PassFail.java - * Copyright : (c) 2011-2012, Galois, Inc. - * - * Maintainer : - * Stability : Provisional - * Portability: Portable - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. - */ -package com.galois.fiveui.testrunner; - -public enum PassFail { - PASSED, - FAILED -} |