blob: c9c45b664c0bc24aa0d98fae43a772f168da7df1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
default Order dec
$include <prelude.sail>
val "concat_str" : (string, string) -> string
val "eq_string" : (string, string) -> bool
overload operator == = {eq_string}
$counterexample
function prop(x : string) -> bool = {
let y = ", World!";
not_bool(concat_str(x, y) == "Hello, World!")
}
|
