From 63fe39a9d0ce842ef13d2736efe31d5661f63829 Mon Sep 17 00:00:00 2001 From: m-davis Date: Sat, 26 Mar 2022 00:49:50 -0500 Subject: Spelling Fixes --- test/regression/2014-09-13-debug-info.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regression') diff --git a/test/regression/2014-09-13-debug-info.c b/test/regression/2014-09-13-debug-info.c index 60b9c7f4..0b89e413 100644 --- a/test/regression/2014-09-13-debug-info.c +++ b/test/regression/2014-09-13-debug-info.c @@ -5,7 +5,7 @@ // RUN: %klee --output-dir=%t.klee-out --only-output-states-covering-new %t1.bc // We expect 4 different output states, one for each named value and one "other" -// one with the prefered CEX. We verify this by using ktest-tool to dump the +// one with the preferred CEX. We verify this by using ktest-tool to dump the // values, and then checking the output. // // RUN: %ktest-tool %t.klee-out/*.ktest | FileCheck %s -- cgit 1.4.1