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/Replay/libkleeruntest/replay_klee_prefer_cex.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/Replay/libkleeruntest') diff --git a/test/Replay/libkleeruntest/replay_klee_prefer_cex.c b/test/Replay/libkleeruntest/replay_klee_prefer_cex.c index c2f0be13..ae202529 100644 --- a/test/Replay/libkleeruntest/replay_klee_prefer_cex.c +++ b/test/Replay/libkleeruntest/replay_klee_prefer_cex.c @@ -29,11 +29,11 @@ int main(int argc, char** argv) { if (y == 0) { klee_assume(x == 0); x++; - // It's fine if the prefered value cannot be used + // It's fine if the preferred value cannot be used // CHECK_3: x=1, y=0 } else { printf("x is allowed to be 33\n"); - // The prefered value should be used if it can be + // The preferred value should be used if it can be // CHECK_2: x=33 } } else { -- cgit 1.4.1