diff options
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress0/print_lambda.cvc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/print_lambda.cvc b/test/regress/regress0/print_lambda.cvc index aee61a533..548623954 100644 --- a/test/regress/regress0/print_lambda.cvc +++ b/test/regress/regress0/print_lambda.cvc @@ -1,6 +1,7 @@ +% SCRUBBER: sed -e 's/f : (INT) -> INT = (LAMBDA(.*:INT): 0);$/f : (INT) -> INT = (LAMBDA(VAR:INT): 0);/' % COMMAND-LINE: --produce-models % EXPECT: sat -% EXPECT: f : (INT) -> INT = (LAMBDA(_ufmt_1:INT): 0); +% EXPECT: f : (INT) -> INT = (LAMBDA(VAR:INT): 0); f : INT -> INT; ASSERT f(1) = 0; |